1049 search results - page 133 / 210 » A Document Based Framework for Smart Object Systems |
CADE
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...
IJRR
2006
13 years 9 months ago
2006
This paper presents a new teleoperation approach using a virtual spring, and local contact force control on the slave robot. The operational space framework provides the control s...
ICCV
2007
IEEE
13 years 10 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— In this paper, two real-time pose tracking algorithms for rigid objects are compared. Both methods are 3D-model based and are capable of calculating the pose between the camera...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...