Sciweavers

4480 search results - page 71 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
135
Voted
ISWC
2006
IEEE
15 years 9 months ago
Low Power Wearable Audio Player Using Human Body Communications
This paper presents a prototype wearable audio player system to playback the digital audio signal transmitted through the wearer’s body without any wire. To significantly reduce...
Seong-Jun Song, Seung-Jin Lee, Namjun Cho, Hoi-Jun...
140
Voted
ICCV
2009
IEEE
16 years 8 months ago
Absolute Scale in Structure from Motion from a Single Vehicle Mounted Camera by Exploiting Nonholonomic Constraints
In structure-from-motion with a single camera it is well known that the scene can be only recovered up to a scale. In order to compute the absolute scale, one needs to know the ...
Davide Scaramuzza, Friedrich Fraundorfer, Marc Pol...
118
Voted
EICS
2009
ACM
15 years 10 months ago
A bisimulation-based approach to the analysis of human-computer interaction
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
Sébastien Combéfis, Charles Pecheur
COORDINATION
2008
Springer
15 years 5 months ago
Actors with Multi-headed Message Receive Patterns
Abstract. The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Er...
Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert
103
Voted
IROS
2007
IEEE
144views Robotics» more  IROS 2007»
15 years 9 months ago
Faster and more accurate face detection on mobile robots using geometric constraints
— We develop a framework to allow generic object detection algorithms to exploit geometric information commonly available to robot vision systems. Robot systems take pictures wit...
Michael Dixon, Frederick Heckel, Robert Pless, Wil...