421 search results - page 84 / 85 » Extension of Ontologies Assisted by Automated Reasoning Syst... |
176
click to vote
GIS
2005
ACM
15 years 12 months ago
2005
ACM
Databases of moving objects are important for air traffic control, ground traffic, and battlefield configurations. We introduce the (historical and spatial) range close-pair query...
106
click to vote
BMCBI
2007
14 years 11 months ago
2007
Background: A fundamental goal of the U.S. National Institute of Health (NIH) "Roadmap" is to strengthen Translational Research, defined as the movement of discoveries i...
LICS
2007
IEEE
15 years 5 months ago
2007
IEEE
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a succ...
LOPSTR
2005
Springer
15 years 4 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
108
click to vote
LOPSTR
2005
Springer
15 years 4 months ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...