Sciweavers

3414 search results - page 171 / 683
» System Support for Object Groups
Sort
View
133
Voted
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
15 years 7 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
CVPR
2010
IEEE
15 years 6 months ago
Real-time Tracking of Multiple Occluding Objects using Level Sets
We derive a probabilistic framework for robust, realtime, visual tracking of multiple previously unseen objects from a moving camera. This framework models the discrete depth orde...
Charles Bibby, Ian Reid
131
Voted
ICCV
2009
IEEE
15 years 1 months ago
Tracking a large number of objects from multiple views
We propose a multi-object multi-camera framework for tracking large numbers of tightly-spaced objects that rapidly move in three dimensions. We formulate the problem of finding co...
Zheng Wu, Nickolay I. Hristov, Tyson L. Hedrick, T...
138
Voted
ICVGIP
2008
15 years 4 months ago
Visibility Cuts: A System for Rendering Dynamic Virtual Environments
In recent years, the subject of occlusion culling of large 3D environments has received substantial contribution. However the major amount of research into the area has focussed o...
Soumyajit Deb, Ankit Gupta
ICALT
2005
IEEE
15 years 9 months ago
Multi-Learner System towards an Efficient E-Learning System
Existing multi-learner systems support three areas of group collaborative E-learning environments: communication, coordination, and collaboration. This distinction reflects the de...
Mohammed Abdel Razek, Claude Frasson, Marc Kaltenb...