Sciweavers

4205 search results - page 166 / 841
» Typed Mobile Objects
Sort
View
ACMACE
2008
ACM
15 years 6 months ago
An augmented reality weather system
This paper presents the design and development of an ARWeather simulation application, which can simulate various types of precipitation: rain, snow, and hail. We analysed various...
Marko Heinrich, Bruce H. Thomas, Stefan Mülle...
ICIP
2001
IEEE
16 years 6 months ago
Region-based active contours for video object segmentation with camera compensation
In this paper, we present a new algorithm for the segmentation of moving objects in a video sequence acquired by a mobile camera using region-based active contours. Indeed, active...
Gilles Aubert, Michel Barlaud, Stéphanie Je...
ICRA
2000
IEEE
124views Robotics» more  ICRA 2000»
15 years 9 months ago
The Augmented Object Model: Cooperative Manipulation and Parallel Mechanism Dynamics
in Proceedings of the 2000 IEEE International Conference on Robotics and Automation, San Francisco, April 2000 The augmented object model provided the basis for effective coopera...
Kyong-Sok Chang, Robert Holmberg, Oussama Khatib
ESOP
2005
Springer
15 years 10 months ago
Asserting Bytecode Safety
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
Martin Wildmoser, Tobias Nipkow
ICRA
2009
IEEE
111views Robotics» more  ICRA 2009»
15 years 11 months ago
Interactive learning of the acoustic properties of household objects
— Human beings can perceive object properties such as size, weight, and material type based solely on the sounds that the objects make when an action is performed on them. In ord...
Jivko Sinapov, Mark Wiemer, Alexander Stoytchev