4385 search results - page 353 / 877 » Abstraction for Concurrent Objects |
177
Voted
MWCN
2004
Springer
16 years 3 days ago
2004
Springer
Abstract We present MaGMA (Mobility and Group Management Architecture), an architecture for groupware support in mobile networks. MaGMA’s main objective is enabling mobile users ...
176
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper describes a system for pedestrian detection in infrared images implemented and tested on an experimental vehicle. A specific stabilization procedure is applie...
177
click to vote
DAGM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. This paper addresses the problem of recovering the generating curve of a surface of revolution from a single uncalibrated perspective view, based solely on the object’s...
188
click to vote
ICCSA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. In our companion paper [5], we described the optics underlying camera models that have been used in computer graphics, and presented object space techniques for rendering...
175
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...