Sciweavers

4190 search results - page 308 / 838
» Implementing commitment-based interactions
Sort
View
ICLP
2010
Springer
15 years 2 months ago
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
Marco Alberti, Marco Gavanelli, Evelina Lamma
ICRA
2010
IEEE
104views Robotics» more  ICRA 2010»
15 years 2 months ago
Gesture-based human-robot Jazz improvisation
We present Shimon, an interactive improvisational robotic marimba player, developed for research in Robotic Musicianship. The robot listens to a human musician and continuously ada...
Guy Hoffman, Gil Weinberg
WOA
2010
15 years 2 months ago
A Context Aware Multi-robot Coordination System Based on Agent Technology
This paper presents an approach for multi-robot coordination based both on coordinated navigation and task allocation method. An ad hoc agent based architecture is defined in order...
Alberto Grosso, Davide Anghinolfi, Antonio Boccala...
CSCWD
2009
Springer
15 years 2 months ago
The analysis and development of Taiwan's industrial logistics hubs
With the trend of globalization, enterprises require to extend their logistics scope from domestic to international, integrate logistics networks, and improve the agility and effi...
Charles V. Trappey, Amy J. C. Trappey, Gilbert Y. ...
FIW
2009
115views Communications» more  FIW 2009»
15 years 2 months ago
Service specification and validation in the context of the home
Abstract. We explore and discuss different ways of expressing service specifications in the context of home automation systems implemented on OSGiTM. We found that the approach use...
Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, ...