3573 search results - page 264 / 715 » Reasoning about Codata |
171
Voted
EPIA
2003
Springer
15 years 9 months ago
2003
Springer
Modern information retrieval systems need the capability to reason about the knowledge conveyed by text bases. In this paper a methodology to automatically create ontologies and cl...
127
click to vote
IESS
2009
Springer
15 years 9 months ago
2009
Springer
Wireless technology has been seen as the communication technology of the future. One of many challenges is the support for predictability and time-bounded communications over this ...
143
click to vote
AGENTS
2001
Springer
15 years 9 months ago
2001
Springer
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...
137
Voted
ICRA
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper presents an algorithm for simultaneous localization and map building for a mobile robot moving in an unknown environment. The robot can measure only the bearings to ide...
121
click to vote
IEEEPACT
2000
IEEE
15 years 9 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...