Sciweavers

145 search results - page 10 / 29
» rest 2010
Sort
View
ICRA
2010
IEEE
201views Robotics» more  ICRA 2010»
13 years 6 months ago
Automatic synthesis of robot controllers for tasks with locative prepositions
—This paper describes the synthesis of correct robot control from high-level tasks that include non-projective locative prepositions. Here, locative prepositions such as ‘near...
Hadas Kress-Gazit, George J. Pappas
ICSOC
2010
Springer
13 years 6 months ago
Linked Data and Service Orientation
Linked Data has become a popular term and method of how to expose structured data on the Web. There currently are two school of thought when it comes to defining what Linked Data ...
Erik Wilde
PERCOM
2010
ACM
13 years 5 months ago
Sharing using social networks in a composable Web of Things
Abstract—In the emerging “Web of Things”, digitally augmented everyday objects are seamlessly integrated to the Web by reusing Web patterns such as REST. This results in an e...
Dominique Guinard, Mathias Fischer, Vlad Trifa
SLOGICA
2010
97views more  SLOGICA 2010»
13 years 5 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
ANTSW
2010
Springer
13 years 5 months ago
Exploiting Loose Horizontal Coupling in Evolutionary Swarm Robotics
We describe a theory from Herbert Simon that links the structure of complex systems to increased speed of evolution, and argue the position that this theory can be beneficial to ev...
Jennifer Owen, Susan Stepney, Jonathan Timmis, Ala...