3527 search results - page 342 / 706 » Test Automation in Practice |
162
Voted
LPAR
2004
Springer
15 years 10 months ago
2004
Springer
DPLL and DPLL Modulo Theories Robert Nieuwenhuis , Albert Oliveras , and Cesare Tinelli We introduce Abstract DPLL, a general and simple abstract rule-based formulation of the Davi...
140
Voted
MKM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Automated knowledge management techniques critically depend on the availability of semantically enhanced documents which are hard to come by in practice. Starting from a ...
192
click to vote
NMR
2004
Springer
15 years 10 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
119
click to vote
SEMWEB
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We have seen an increasing amount of interest in the application of Semantic Web technologies to Web services. The aim is to support automated discovery and composition o...
174
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...