2526 search results - page 131 / 506 » A New Algorithm for Answer Set Computation |
146
click to vote
AIRS
2004
Springer
15 years 11 months ago
2004
Springer
Carrying out experiments in Information Retrieval is a heavy activity requiring fast tools to treat collections of significant size, and at the same time flexible tools to leave...
183
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reas...
212
click to vote
PODS
2004
ACM
16 years 6 months ago
2004
ACM
The Semantic Web is based on the idea of adding more machine-readable semantics to web information via annotations written in a language called the Resource Description Framework ...
168
click to vote
KBSE
2005
IEEE
15 years 11 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
159
click to vote
ICNC
2009
Springer
16 years 23 days ago
2009
Springer
—With the aim to minimize boarding time and devise procedures for boarding strategies, this paper develop the synthesis of Improved Genetic Algorithms and simulation. This paper ...