268 search results - page 11 / 54 » On Creation, Equality and the Object Model |
FIDJI
2003
Springer
14 years 18 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
CSREAESA
2010
13 years 5 months ago
2010
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
BMVC
1998
13 years 8 months ago
1998
This paper presents a new method to extract the 3D shape of objects from 3D gray level images using a bicubic B-spline surface model. Extraction of object shape is achieved throug...
CSL
2001
Springer
13 years 12 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
AFRIGRAPH
2003
ACM
13 years 11 months ago
2003
ACM
Virtual sculpting enables the creation of computer models by emulating traditional sculpting. It can be implemented using spatial deformation, an interactive versatile modelling t...