9370 search results - page 13 / 1874 » An Abstract Notion of Application |
COOPIS
2004
IEEE
14 years 1 months ago
2004
IEEE
Abstract. This paper addresses the issue of simplifying natural language texts in order to ease the task of accessing factual information contained in them. We define the notion of...
ESWS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The paper presents a clustering method which can be applied to populated ontologies for discovering interesting groupings of resources therein. The method exploits a simp...
RP
2009
Springer
14 years 2 months ago
2009
Springer
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Topological crossovers are a class of representation-independent operators that are well-defined once a notion of distance over the solution space is defined. In this pap...
CTCS
1989
Springer
14 years 1 months ago
1989
Springer
We combine the principles of the Floyd-Warshall-Kleene algorithm, enriched categories, and Birkhoff arithmetic, to yield a useful class of algebras of transitive vertex-labeled s...