Sciweavers

732 search results - page 95 / 147
» Periodicity-Based Temporal Constraints
Sort
View
ASYNC
2005
IEEE
118views Hardware» more  ASYNC 2005»
14 years 3 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
14 years 2 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»
13 years 11 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»
13 years 10 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
CVPR
2005
IEEE
14 years 12 months ago
A Dynamic Conditional Random Field Model for Object Segmentation in Image Sequences
This paper presents a dynamic conditional random field (DCRF) model to integrate contextual constraints for object segmentation in image sequences. Spatial and temporal dependenci...
Qiang Ji, Yang Wang 0002