2414 search results - page 254 / 483 » Reasoning Support for OWL-E |
152
click to vote
CAI
2006
Springer
15 years 6 months ago
2006
Springer
People and organizations frequently need to recall past events that, for some reason, were not documented when they occurred. The successful reconstitution of past events depends o...
153
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
141
click to vote
ENTCS
2007
15 years 6 months ago
2007
Spatial messaging is a term that defines the virtual publication of data in physical places. Generally, anyone in the neighborhood of such a publication point gets the message. F...
181
click to vote
IGPL
2007
15 years 6 months ago
2007
The graphical software Morph Moulder (MoMo) presented here was originally created for teaching the logical foundations of Head-Driven Phrase Structure Grammar (HPSG) in an e-Learn...