648 search results - page 83 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
112
click to vote
ECAI
2010
Springer
15 years 4 days ago
2010
Springer
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different s...
BIRTHDAY
2000
Springer
15 years 3 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
109
click to vote
SDM
2004
SIAM
15 years 12 days ago
2004
SIAM
Automatic classification of documents is an important area of research with many applications in the fields of document searching, forensics and others. Methods to perform classif...
103
Voted
COMSWARE
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper we are concerned with finding the maximum throughput that a mobile ad hoc network can support. Even when nodes are stationary, the problem of determining the capaci...
108
click to vote
COMPGEOM
2003
ACM
15 years 4 months ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...