Sciweavers

1671 search results - page 220 / 335
» Hierarchical graph maps
Sort
View
114
Voted
ICRA
2009
IEEE
164views Robotics» more  ICRA 2009»
15 years 10 months ago
Information retrieval system for human-robot communication - Asking for directions
— The creation of a robot capable of navigating in unknown urban environments without the use of GPS data or prior map knowledge is envisioned in the Autonomous City Explorer (AC...
Andrea Maria Bauer, Dirk Wollherr, Martin Buss
124
Voted
OTM
2005
Springer
15 years 9 months ago
Semantic Schema Matching
We view match as an operator that takes two graph-like structures (e.g., XML schemas) and produces a mapping between the nodes of these graphs that correspond semantically to each ...
Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskev...
123
Voted
AUSAI
2005
Springer
15 years 9 months ago
Model Checking for PRS-Like Agents
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
Wayne Wobcke, Marc Chee, Krystian Ji
FPL
2001
Springer
107views Hardware» more  FPL 2001»
15 years 8 months ago
Gambit: A Tool for the Simultaneous Placement and Detailed Routing of Gate-Arrays
In this paper we present a new method of integrating the placement and routing stages in the physical design of channel-based architectures, and present the first implementation o...
John Karro, James P. Cohoon
131
Voted
IJCAI
2001
15 years 4 months ago
A Perspective on Knowledge Compilation
We propose a perspective on knowledge compilation which calls for analyzing different compilation approaches according to two key dimensions: the succinctness of the target compil...
Adnan Darwiche, Pierre Marquis