3428 search results - page 252 / 686 » Making the Case |
154
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Of several possible forms of human-robot collaborative manipulation, we focus on the case where the human and the robot jointlymanipulate a common load. In our formulation, the ro...
158
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Modeling object-oriented applications using collaborations and roles is now well accepted. Collaboration-based or role-based designs decompose an application into tasks performed ...
190
click to vote
GECCO
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...
221
Voted
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
172
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...