838 search results - page 135 / 168 » From Natural Language to Formal Proof Goal |
178
click to vote
GEOINFORMATICA
2006
15 years 6 months ago
2006
Metadata is needed to facilitate data sharing among geospatial information communities. Geographic Metadata Standards are available but tend to be general and complex in nature an...
178
click to vote
LREC
2010
15 years 7 months ago
2010
After several years of development, the vision of the Semantic Web is gradually becoming reality. Large data repositories have been created and offer semantic information in a mac...
177
click to vote
ICRA
2006
IEEE
16 years 3 days ago
2006
IEEE
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...
168
click to vote
RELMICS
2000
Springer
15 years 9 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
157
click to vote
IJCM
2010
15 years 4 months ago
2010
Recognizable transductions constitute a proper subclass of rational transductions, characterized by the well-known Mezei’s Theorem. We propose a family of transducers which refl...