4205 search results - page 37 / 841 » Typed Mobile Objects |
123
click to vote
BIRTHDAY
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
65
Voted
ICRA
2002
IEEE
15 years 6 months ago
2002
IEEE
: In this paper, mobility analysis of various planar mobile robots are performed. Two different approaches are employed for that purpose. In the first approach, joint screws are em...
112
click to vote
CGI
2003
IEEE
15 years 5 months ago
2003
IEEE
Location-aware mobile users need to access, query, and visualize, geographic information in a wide variety of applications including tourism, navigation, environmental management,...
ECOOP
2007
Springer
15 years 8 months ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
145
Voted
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
The depth perception in the objects of a scene can be useful for tracking or applying visual servoing in mobile systems. 3D time-of-flight (ToF) cameras provide range images which ...