Sciweavers

891 search results - page 12 / 179
» Temporal Constraints: A Survey
Sort
View
CSCLP
2004
Springer
14 years 3 months ago
A System Prototype for Solving Multi-granularity Temporal CSP
Abstract. Time granularity constraint reasoning is likely to have a relevant role in emerging applications like GIS, time management in the Web and Personal Information Management ...
Claudio Bettini, Sergio Mascetti, Vincenzo Pupillo
AVSS
2003
IEEE
14 years 3 months ago
A Survey of Camera Self-Calibration
This paper surveys the developments of the last 10 years in the area of camera self-calibration. In order to solve this problem, researches have used the camera intrinsic constrai...
Elsayed E. Hemayed
HICSS
2003
IEEE
92views Biometrics» more  HICSS 2003»
14 years 3 months ago
IT and Institutional Constraints: Effects of Legal and Administrative Constraints to Use IT in Production of Health Care Service
This paper looks into the legal and administrative frameworks governing the different aspects of using IT as a medium and a tool in production of health care services. The adminis...
Ville Harkke, Dario Alessi, Mikael Collan
IANDC
2007
132views more  IANDC 2007»
13 years 9 months ago
An automata-theoretic approach to constraint LTL
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
Stéphane Demri, Deepak D'Souza
AAAI
1996
13 years 11 months ago
Trajectory Constraints in Qualitative Simulation
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
Giorgio Brajnik, Daniel J. Clancy