6020 search results - page 464 / 1204 » A New Approach to Model Counting |
317
click to vote
VLDB
2006
ACM
16 years 7 months ago
2006
ACM
: Moving Objects Databases have become an important research issue in recent years. For and querying moving objects, there exists a comprehensive framework of abstract data types t...
200
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— A new approach to the 3D human motion tracking problem is proposed, which combines several particle filters with a physical simulation of a flexible body model. The flexible...
173
click to vote
HICSS
2005
IEEE
16 years 17 days ago
2005
IEEE
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
196
click to vote
ISORC
2005
IEEE
16 years 16 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
175
click to vote
AAAI
2008
15 years 9 months ago
2008
We propose a new discriminative framework, namely Hidden Dynamic Conditional Random Fields (HDCRFs), for building probabilistic models which can capture both internal and external...