369 search results - page 2 / 74 » Aliasing Models for Mobile Objects |
ECOOP
2003
Springer
13 years 10 months ago
2003
Springer
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
ICCV
2005
IEEE
13 years 11 months ago
2005
IEEE
In this study, we demonstrate the effectiveness of using extended light sources for modeling the appearance of an object for varying illumination. Extended light sources have a ra...
DEXAW
1998
IEEE
13 years 9 months ago
1998
IEEE
In this paper we present a software architecture which facilitates nomadic computing in an Open Distributed Computing environment. We introduce a model for the description of mobi...
3DIM
2005
IEEE
13 years 7 months ago
2005
IEEE
3D interactive modeling from range data aims at simultaneously producing and visualizing the surface model of an object while data is collected. The current research challenge is ...
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
Automatic bug finding with static analysis requires precise tracking of different memory object values. This paper describes a memory modeling method for static analysis of C pro...