612 search results - page 74 / 123 » Bridging the Gap between Systems Design |
FROCOS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Nowadays, formal methods rely on tools of different kinds: proof assistants with which the user interacts to discover a proof step by step; and fully automated tools whic...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
1 In multi-agent systems (MAS), coalition formation is typically studied using characteristic function game (CFG) representations, where the performance of any coalition is indepen...
OAS
2003
13 years 9 months ago
2003
We propose location-mediated service coordination in ubiquitous computing. In the coordination, middle agents determine bestmatched services for a user by considering the user’s...
SPIESR
1996
13 years 9 months ago
1996
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
SIMPAR
2010
13 years 6 months ago
2010
Abstract. Existing legged robots lack energy-efficiency, performance and adaptivity when confronted with situations that animals cope with on a routine basis. Bridging the gap bet...