Sciweavers

25 search results - page 1 / 5
» High-level views on low-level representations
Sort
View
AGENTS
1997
Springer
13 years 9 months ago
High-Level Planning and Low-Level Execution: Towards a Complete Robotic Agent
We have been developing Rogue, an architecture that integrates high-level planning with a low-level executing robotic agent. Rogue is designed as the oce gofer task planner for X...
Karen Zita Haigh, Manuela M. Veloso
NDQA
2003
103views Education» more  NDQA 2003»
13 years 6 months ago
Combining Low-Level and Summary Representations of Opinions for Multi-Perspective Question Answering
1 While much recent progress has been made in research on fact-based question answering, our work aims to extend question-answering research in a different direction ─ to handle ...
Claire Cardie, Janyce Wiebe, Theresa Wilson, Diane...
ISQED
2003
IEEE
113views Hardware» more  ISQED 2003»
13 years 10 months ago
Using Integer Equations for High Level Formal Verification Property Checking
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
Bijan Alizadeh, Mohammad Reza Kakoee
MIRRORBOT
2005
Springer
127views Robotics» more  MIRRORBOT 2005»
13 years 10 months ago
MaximumOne: An Anthropomorphic Arm with Bio-inspired Control System
In this paper we present our bio-mimetic artificial arm and the simulation results on its low level control system. In accordance with the general view of the Biorobotics field w...
Michele Folgheraiter, Giuseppina C. Gini
ICVS
2003
Springer
13 years 10 months ago
Navigating through Logic-Based Scene Models for High-Level Scene Interpretations
This paper explores high-level scene interpretation with logic-based conceptual models. The main interest is in aggregates which describe interesting co-occurrences of physical obj...
Bernd Neumann, Thomas Weiss