Sciweavers

6399 search results - page 801 / 1280
» Display Models for Visualization
Sort
View
SIGOPS
2008
141views more  SIGOPS 2008»
15 years 7 months ago
Using model checkers in an introductory course on operating systems
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
Roelof Hamberg, Frits W. Vaandrager
CVPR
2004
IEEE
16 years 9 months ago
A Model for Dynamic Shape and Its Applications
Variation in object shape is an important visual cue for deformable object recognition and classification. In this paper, we present an approach to model gradual changes in the ?-...
Che-Bin Liu, Narendra Ahuja
CVPR
2006
IEEE
16 years 9 months ago
An Adaptive Appearance Model Approach for Model-based Articulated Object Tracking
The detection and tracking of three-dimensional human body models has progressed rapidly but successful approaches typically rely on accurate foreground silhouettes obtained using...
Alexandru O. Balan, Michael J. Black
CVPR
2006
IEEE
16 years 9 months ago
Recursive estimation of generative models of video
In this paper we present a generative model and learning procedure for unsupervised video clustering into scenes. The work addresses two important problems: realistic modeling of ...
Nemanja Petrovic, Aleksandar Ivanovic, Nebojsa Joj...
GIS
2004
ACM
16 years 8 months ago
Representing spatiality in a conceptual multidimensional model
Data Warehouses and On-Line Analytical Processing systems rely on a multidimensional model that includes dimensions, hierarchies, and measures. Such model allows to express users&...
Elzbieta Malinowski, Esteban Zimányi