Sciweavers

874 search results - page 121 / 175
» Computing Weighted Solutions in Answer Set Programming
Sort
View
147
Voted
ICCAD
1997
IEEE
108views Hardware» more  ICCAD 1997»
15 years 6 months ago
Negative thinking by incremental problem solving: application to unate covering
We introduce a new technique to solve exactly a discrete optimization problem, based on the paradigm of “negative” thinking. The motivation is that when searching the space of...
Evguenii I. Goldberg, Luca P. Carloni, Tiziano Vil...
107
Voted
ECAI
2006
Springer
15 years 6 months ago
Resolving Conflicts in Action Descriptions
Abstract. We study resolving conflicts between an action description and a set of conditions (possibly obtained from observations), in the context of action languages. In this form...
Thomas Eiter, Esra Erdem, Michael Fink, Ján...
156
Voted
PUK
2003
15 years 4 months ago
Accelerating Heuristic Search in Spatial Domains
This paper exploits the spatial representation of state space problem graphs to preprocess and enhance heuristic search engines. It combines classical AI exploration with computati...
Stefan Edelkamp, Shahid Jabbar, Thomas Willhalm
142
Voted
IS
2011
14 years 6 months ago
Detecting proximity events in sensor networks
Sensor networks are often used to perform monitoring tasks, such as animal and vehicle tracking, or the surveillance of enemy forces in military applications. In this paper we int...
Antonios Deligiannakis, Yannis Kotidis
109
Voted
ICCV
2009
IEEE
16 years 7 months ago
Multi-Scale Object Detection by Clustering Lines
Object detection in cluttered, natural scenes has a high complexity since many local observations compete for object hypotheses. Voting methods provide an efficient solution to ...
Bjorn Ommer, Jitendra Malik