Sciweavers

77 search results - page 6 / 16
» Reasoning about Categories in Conceptual Spaces
Sort
View
AEI
2002
106views more  AEI 2002»
14 years 9 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
15 years 4 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
15 years 1 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
15 years 9 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
95
Voted
KI
2002
Springer
14 years 9 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