Sciweavers

77 search results - page 6 / 16
» Reasoning about Categories in Conceptual Spaces
Sort
View
AEI
2002
106views more  AEI 2002»
13 years 7 months ago
A functional concept ontology and its application to automatic identification of functional structures
Functionality of artifacts as well as structure and behavior plays crucial roles in problem-solving such as design. This article discusses automatic identifications of functional s...
Yoshinobu Kitamura, Toshinobu Sano, Kouji Namba, R...
HRI
2010
ACM
14 years 2 months ago
Validating interaction patterns in HRI
— In recent work, “interaction patterns” have been proposed as a means to characterize essential features of humanrobot interaction. A problem arises, however, in knowing whe...
Peter H. Kahn Jr., Brian T. Gill, Aimee L. Reicher...
AI
1998
Springer
13 years 11 months ago
A Hybrid Genetic Algorithm for the Vehicle Routing Problem with Time Windows
A variety of hybrid genetic algorithms has been recently proposed to address the vehicle routing problem with time windows (VRPTW), a problem known to be NP-hard. However, very few...
Jean Berger, Martin Salois, Regent Begin
POPL
2005
ACM
14 years 7 months ago
Dynamic partial-order reduction for model checking software
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
Cormac Flanagan, Patrice Godefroid
KI
2002
Springer
13 years 7 months ago
Spatial Strategies in Human-Robot Communication
This paper deals with various kinds of mental representations available for linguistic instruction in spatial humanrobot interaction. After a survey of the literature on spatial r...
Thora Tenbrink, Kerstin Fischer, Reinhard Moratz