6020 search results - page 669 / 1204 » A New Approach to Model Counting |
208
click to vote
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents an efficient Real-Time method for detecting moving objects in unconstrained environments, using a background subtraction technique. A new background model that...
173
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
Understanding the dynamics of technology evolution—whether for the purposes of forecasting new product or technology infrastructure developments, or identifying the basis for fu...
205
click to vote
DEXA
2005
Springer
16 years 1 months ago
2005
Springer
The widespread use of XML brings new challenges for its integration into general software development processes. In particular, it is necessary to keep the consistency between diď¬...
206
click to vote
ISRR
2005
Springer
16 years 29 days ago
2005
Springer
POMDPs provide a rich framework for planning and control in partially observable domains. Recent new algorithms have greatly improved the scalability of POMDPs, to the point where...
219
click to vote
WMPI
2004
ACM
16 years 27 days ago
2004
ACM
In order to meet the requirements concerning both performance and energy consumption in embedded systems, new memory architectures are being introduced. Beside the well-known use o...