Sciweavers

4345 search results - page 94 / 869
» Temporal Constraint Networks
Sort
View
CAV
1998
Springer
138views Hardware» more  CAV 1998»
14 years 2 months ago
Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
Ying Xu, Eduard Cerny, Xiaoyu Song, Francisco Core...
BMVC
2001
14 years 14 days ago
Deformable Spatio-Temporal Shape Models: Extending ASM to 2D+Time
This paper extends 2D Active Shape Models to 2D+time by presenting a method for modelling and segmenting spatio-temporal shapes (ST-shapes). The modelling part consists of constru...
Ghassan Hamarneh, Tomas Gustavsson
IJCV
2002
141views more  IJCV 2002»
13 years 9 months ago
Spatio-Temporal Stereo Using Multi-Resolution Subdivision Surfaces
We present a method to automatically extract spatio-temporal descriptions of moving objects from synchronized and calibrated multi-view sequences. The object is modeled by a time-...
Jan Neumann, Yiannis Aloimonos
ANOR
2011
96views more  ANOR 2011»
13 years 5 months ago
Global propagation of side constraints for solving over-constrained problems
This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These ...
Thierry Petit, Emmanuel Poder
DANTE
1999
IEEE
119views Database» more  DANTE 1999»
14 years 2 months ago
A Semantic Caching Method Based on Linear Constraints
Because performance is a crucial issue in database systems, data caching techniques have been studied in database research field, especially in client-server databases and distrib...
Yoshiharu Ishikawa, Hiroyuki Kitagawa