6020 search results - page 1083 / 1204 » A New Approach to Model Counting |
195
click to vote
ABIALS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In order to establish autonomous behavior for technical systems, the well known trade-off between reactive control and deliberative planning has to be considered. Within ...
156
click to vote
HAIS
2010
Springer
15 years 6 months ago
2010
Springer
Energy efficiency represents one of the main challenges in the engineering field, i.e., by means of decreasing the energy consumption due to a better design minimising the energy ...
171
click to vote
CVPR
2005
IEEE
15 years 6 months ago
2005
IEEE
Background modeling and subtraction to detect new or moving objects in a scene is an important component of many intelligent video applications. Compared to a single camera, the u...
129
click to vote
DAC
2005
ACM
15 years 6 months ago
2005
ACM
Finding all satisfying assignments of a propositional formula has many applications in the design of hardware and software. An approach to this problem augments a clause-recording...
133
click to vote
DAS
2008
Springer
15 years 6 months ago
2008
Springer
A robust segmentation is the most important part of an automatic character recognition system (e.g. document processing, license plate recognition etc.). In our contribution we pr...