Sciweavers

3718 search results - page 488 / 744
» IMPS: System Description
Sort
View
JOLLI
2007
128views more  JOLLI 2007»
15 years 6 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
AR
2002
92views more  AR 2002»
15 years 6 months ago
Development of a high-performance direct-drive joint
This paper reports on advances in the design and development of a high-performance direct-drive joint for robotics and automation. The joint integrates a motor, a torque sensor and...
Farhad Aghili, Martin Buehler, John M. Hollerbach
AI
2000
Springer
15 years 6 months ago
The Spatial Semantic Hierarchy
This paper reports the new steps undertaken in our work aimed to demonstrate the effectiveness of an omnidirectional vision sensor when conjugated with the Spatial Semantic Hierarc...
Benjamin Kuipers
DEDS
2002
97views more  DEDS 2002»
15 years 6 months ago
N-dimensional Cell-DEVS Models
This article presents an extension to the timed binary Cell-DEVS paradigm. The goal is to allow the modelling of n-dimensional generic cell spaces, including transport or inertial...
Gabriel A. Wainer, Norbert Giambiasi
RAS
2000
135views more  RAS 2000»
15 years 6 months ago
Development of the ring sensor for healthcare automation
This paper presents the development of a miniaturized telemetered ambulatory monitoring device in a ring configuration. The device, called ring sensor, is worn by the patient at a...
Boo-Ho Yang, Sokwoo Rhee