6020 search results - page 921 / 1204 » A New Approach to Model Counting |
191
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
This paper describes a new approach for detecting objects based on measuring the spatial consistency between different parts of an object. These parts are pre-defined on a set of...
174
click to vote
MIDDLEWARE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Enterprise-system upgrades are unreliable and often produce downtime or data-loss. Errors in the upgrade procedure, such as broken dependencies, constitute the leading ca...
173
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
A significant fraction of Web data is available only for short periods of time. We consider methods to keep track and to record such dynamic information automatically. The main p...
181
click to vote
IROS
2008
IEEE
16 years 29 days ago
2008
IEEE
— A long cherished goal in artificial intelligence has been the ability to endow a robot with the capacity to learn and generalize skills from watching a human teacher. Such an ...
231
click to vote
ISPDC
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper presents a new approach for analyzing the performance of grid scheduling algorithms for tasks with dependencies. Finding the optimal procedures for DAG scheduling in Gr...