Sciweavers

5275 search results - page 439 / 1055
» Computing by observing
Sort
View
HRI
2009
ACM
16 years 1 months ago
Learning about objects with human teachers
A general learning task for a robot in a new environment is to learn about objects and what actions/effects they afford. To approach this, we look at ways that a human partner c...
Andrea Lockerd Thomaz, Maya Cakmak
ESOP
2009
Springer
16 years 1 months ago
Abstraction for Concurrent Objects
ion for Concurrent Objects Ivana Filipovi´c, Peter O’Hearn, Noam Rinetzky, and Hongseok Yang Queen Mary University of London, UK Concurrent data structures are usually designed ...
Ivana Filipovic, Peter W. O'Hearn, Noam Rinetzky, ...
FOSSACS
2009
Springer
16 years 1 months ago
Separating Graph Logic from MSO
Abstract. Graph logic (GL) is a spatial logic for querying graphs introduced by Cardelli et al. It has been observed that in terms of expressive power, this logic is a fragment of ...
Timos Antonopoulos, Anuj Dawar
CRV
2009
IEEE
225views Robotics» more  CRV 2009»
16 years 1 months ago
3D Modeling from Multiple Views with Integrated Registration and Data Fusion
This paper presents an integrated modeling system capable of generating coloured three dimensional representations of a scene observed from multiple viewpoints. Emphasis is given ...
Alain Boyer, Phillip Curtis, Pierre Payeur
DATE
2009
IEEE
106views Hardware» more  DATE 2009»
16 years 1 months ago
Debugging of Toffoli networks
—Intensive research is performed to find post-CMOS technologies. A very promising direction based on reversible logic are quantum computers. While in the domain of reversible lo...
Robert Wille, Daniel Große, Stefan Frehse, G...