Sciweavers

891 search results - page 113 / 179
» Temporal Constraints: A Survey
Sort
View
ASYNC
2005
IEEE
118views Hardware» more  ASYNC 2005»
15 years 11 months ago
Modeling and Verifying Circuits Using Generalized Relative Timing
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Ste...
IEAAIE
2001
Springer
15 years 10 months ago
A Mixed Closure-CSP Method to Solve Scheduling Problems
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
María Isabel Alfonso Galipienso, Federico B...
MVA
2000
166views Computer Vision» more  MVA 2000»
15 years 7 months ago
Motion Segmentation and Tracking by Embedding Global Model Within a Contextual Relaxation Scheme
IAPR Workshop on Machine Vision and Applications, pp. 455-458, 2000, Tokyo, Japan In this paper, we integrate the model-based tracking and local contexture (temporal and spatial) ...
Yunqiang Chen, Thomas S. Huang
COGSCI
2006
56views more  COGSCI 2006»
15 years 6 months ago
Phonotactics and Articulatory Coordination Interact in Phonology: Evidence from Nonnative Production
A core area of phonology is the study of phonotactics, or how sounds are linearly combined. Recent cross-linguistic analyses have shown that the phonology determines not only phon...
Lisa Davidson
TCSV
2002
66views more  TCSV 2002»
15 years 5 months ago
Multiframe blocking-artifact reduction for transform-coded video
A major drawback of block-based still-image or video-compression methods at low rates is the visible block boundaries that are also known as blocking artifacts. Several methods hav...
Bahadir K. Gunturk, Yucel Altunbasak, Russell M. M...