Sciweavers

297 search results - page 45 / 60
» Semantic Coordination in Systems of Autonomous Agents: the A...
Sort
View
FASE
2005
Springer
14 years 2 months ago
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC choice construction poses fundamental problems. The be...
Arjan J. Mooij, Nicolae Goga, Judi Romijn
IROS
2007
IEEE
179views Robotics» more  IROS 2007»
14 years 3 months ago
Stereo-based 6D object localization for grasping with humanoid robot systems
Abstract— Robust vision-based grasping is still a hard problem for humanoid robot systems. When being restricted to using the camera system built-in into the robot’s head for o...
Pedram Azad, Tamim Asfour, Rüdiger Dillmann
EJC
2008
13 years 10 months ago
Center Fragments for Upscaling and Verification in Database Semantics
The notion of a fragment was coined by Montague 1974 to illustrate the formal handling of certain puzzles, such as de dicto/de re, in a truth-conditional semantics for natural lan...
Roland Hausser
AAAI
2007
13 years 11 months ago
Making the Difference in Semantic Web Service Composition
Automation of Web service composition is one of the most interesting challenges facing the Semantic Web today. In this paper we propose a mean of performing automated Web service ...
Freddy Lécué, Alexandre Delteil
FLAIRS
2006
13 years 10 months ago
On Repairing Reasoning Reversals via Representational Refinements
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
Alan Bundy, Fiona McNeill, Christopher Walton