2364 search results - page 180 / 473 » An Engine for Computing Well-Founded Models |
159
Voted
AADEBUG
2000
Springer
15 years 9 months ago
2000
Springer
This work is devoted to constraint solving motivated by the debugging of constraint logic programs a la GNU-Prolog. The paper focuses only on the constraints. In this framework, c...
143
Voted
ACSC
2001
IEEE
15 years 8 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
151
Voted
TASE
2010
IEEE
14 years 11 months ago
2010
IEEE
Robots operating in a workspace can localize themselves by querying nodes of a sensor-network deployed in the same workspace. This paper addresses the problem of computing the min...
144
Voted
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. In this work, we introduce a model-based approach to extracting the silhouette of people in motion from stereo video sequences. To this end, we extend a purely stereo-bas...
137
click to vote
MDM
2007
Springer
15 years 10 months ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...