7342 search results - page 997 / 1469 » Optimal Language Learning |
133
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
150
Voted
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
We resolve an open question raised by Feige & Scheideler by showing that the best known approximation algorithm for flow shops is essentially tight with respect to the used low...
205
Voted
SIGMOD
2007
ACM
16 years 5 months ago
2007
ACM
We present a tool for querying a set of points for geometric shapes. This tool was developed as part of a larger project studying the architecture of 13th century French churches....
219
click to vote
SIGMOD
2005
ACM
16 years 5 months ago
2005
ACM
With XQuery becoming the standard language for querying XML, and the relational SQL platform being recognized as an important platform to store and process XML, the SQL/XML standa...
150
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In this paper, we propose a novel approach to measure inconsistencies in ontologies based on Shapley values, which are originally proposed for game theory. This measure c...