1544 search results - page 186 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
165
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
173
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Studies about geographical information systems (GIS) use contribute to geographic information science through critical evaluation of the concepts embedded in GIS tools. Social-beha...
154
click to vote
NAACL
2003
15 years 7 months ago
2003
Recent TREC results have demonstrated the need for deeper text understanding methods. This paper introduces the idea of automated reasoning applied to question answering and shows...
109
click to vote
LICS
2008
IEEE
16 years 25 days ago
2008
IEEE
Individual-based models are a relatively new approach to modelling dynamical systems of interacting entities, for example molecules in a biological cell. Although they are computa...
134
click to vote
ILP
2004
Springer
15 years 11 months ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...