3185 search results - page 324 / 637 » Domain and language evaluation results |
184
click to vote
SWAP
2008
15 years 8 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
164
click to vote
IJCAI
1989
15 years 8 months ago
1989
Inducing disjunctive and iterative macro-operators from empirical problem-solving traces provides a more powerful knowledge compilation method than simple linear macro-operators. ...
164
click to vote
LRE
2008
15 years 6 months ago
2008
In this article, we address the task of comparing and combining different semantic verb classifications within one language. We present a methodology for the manual analysis of ind...
190
click to vote
IANDC
2007
15 years 6 months ago
2007
We consider an extension of linear-time temporal logic (LTL) with constraints interpreted over a concrete domain. We use a new automata-theoretic technique to show pspace decidabi...
191
click to vote
SMC
2010
IEEE
15 years 5 months ago
2010
IEEE
—We outline SoftFacts, an ontology mediated top-k information retrieval system over relational databases. An ontology layer is used to define (in terms of a OWL-QL like Semantic...