Off-line and On-line Scheduling of SAT Instances with Time Processing Constraints

Author(s):  
Robinson Duque ◽  
Alejandro Arbelaez ◽  
Juan Francisco Díaz
Keyword(s):  
Author(s):  
Norikazu Ikoma ◽  
◽  
Gefan Zhang

Decorations of face such as enlarging eyes, whitening skin, rendering face slim, and so on are commercially successful in amusement arcades especially in Japan for still image and off-line processing. This paper proposes to decorate human face in video on-line and in real-time processing. Face posture estimation using particle filter plays a key role to decorate the face by precisely determining position of the eyes as well as determining regional position of face. Our proposed method conducts two decorations, enlarging eyes and whitening skin, based on the estimation result of face posture. Real-time implementation of the proposed method has been demonstrated for real scenes of indoor situation.


2004 ◽  
Vol 18 (2/3) ◽  
pp. 89-104 ◽  
Author(s):  
Françoise Macar ◽  
Franck Vidal

Abstract This review examines ERP data that document the mechanisms and neural bases of time processing in the millisecond-to-minute range. Several types of ERP attest to the existence of timing capacities. Among them, one component of the Contingent Negative Variation (CNV) provides an on-line index of timing. CNV data strengthen the temporal accumulator concept, designed to subtend duration encoding. This conclusion is based on four main results: The positive relationship between temporal estimates and CNV amplitude is an index of the accumulation mechanism; the CNV peak is an index of time-based decision making; the CNV relates to temporal encoding, whereas temporal long-term memory may be linked to shifts of positive polarity; learning effects on CNV amplitude depend on topographic features, thus revealing functional differences among brain regions with respect to timing.


2006 ◽  
pp. 95-100 ◽  
Author(s):  
Elena Biagi ◽  
Marco Calzolai ◽  
Massimiliano Forzieri ◽  
Simona Granchi ◽  
Leonardo Masotti ◽  
...  

2016 ◽  
Vol 44 (5) ◽  
pp. 1025-1040 ◽  
Author(s):  
VINCENZO MOSCATI ◽  
LIKAN ZHAN ◽  
PENG ZHOU

AbstractIn this paper we investigated the real-time processing of epistemic modals in five-year-olds. In a simple reasoning scenario, we monitored children's eye-movements while processing a sentence with modal expressions of different force (might/must). Children were also asked to judge the truth-value of the target sentences at the end of the reasoning task. Consistent with previous findings (Noveck, 2001), we found that children's behavioural responses were much less accurate compared to adults. Their eye-movements, however, revealed that children did not treat the two modal expressions alike. As soon as a modal expression was presented, children and adults showed a similar fixation pattern that varied as a function of the modal expression they heard. It is only at the very end of the sentence that children's fixations diverged from the adult ones. We discuss these findings in relation to the proposal that children narrow down the set of possible outcomes in undetermined reasoning scenarios and endorse only one possibility among several (Acredolo & Horobin, 1987, Ozturk & Papafragou, 2015).


Author(s):  
William Krakow

In the past few years on-line digital television frame store devices coupled to computers have been employed to attempt to measure the microscope parameters of defocus and astigmatism. The ultimate goal of such tasks is to fully adjust the operating parameters of the microscope and obtain an optimum image for viewing in terms of its information content. The initial approach to this problem, for high resolution TEM imaging, was to obtain the power spectrum from the Fourier transform of an image, find the contrast transfer function oscillation maxima, and subsequently correct the image. This technique requires a fast computer, a direct memory access device and even an array processor to accomplish these tasks on limited size arrays in a few seconds per image. It is not clear that the power spectrum could be used for more than defocus correction since the correction of astigmatism is a formidable problem of pattern recognition.


Author(s):  
A.M.H. Schepman ◽  
J.A.P. van der Voort ◽  
J.E. Mellema

A Scanning Transmission Electron Microscope (STEM) was coupled to a small computer. The system (see Fig. 1) has been built using a Philips EM400, equipped with a scanning attachment and a DEC PDP11/34 computer with 34K memory. The gun (Fig. 2) consists of a continuously renewed tip of radius 0.2 to 0.4 μm of a tungsten wire heated just below its melting point by a focussed laser beam (1). On-line operation procedures were developped aiming at the reduction of the amount of radiation of the specimen area of interest, while selecting the various imaging parameters and upon registration of the information content. Whereas the theoretical limiting spot size is 0.75 nm (2), routine resolution checks showed minimum distances in the order 1.2 to 1.5 nm between corresponding intensity maxima in successive scans. This value is sufficient for structural studies of regular biological material to test the performance of STEM over high resolution CTEM.


Sign in / Sign up

Export Citation Format

Share Document