1501 search results - page 224 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
130
click to vote
JUCS
2007
15 years 3 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...
135
click to vote
IFM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
145
click to vote
BTW
2003
Springer
15 years 9 months ago
2003
Springer
Abstract: In order to achieve efficient execution plans for queries comprising userdefined data types and predicates, the database system has to be provided with appropriate index ...
132
click to vote
CA
2002
IEEE
15 years 9 months ago
2002
IEEE
In augmented reality applications, tracking and registration of both cameras and objects is required because, to combine real and rendered scenes, we must project synthetic models...
146
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Human motion tracking is an important problem in computer vision. Most prior approaches have concentrated on efficient inference algorithms and prior motion models; however, few c...