Sciweavers

1018 search results - page 138 / 204
» Property Testing in Computational Geometry
Sort
View
ECCV
2002
Springer
14 years 10 months ago
Towards Improved Observation Models for Visual Tracking: Selective Adaptation
Abstract. An important issue in tracking is how to incorporate an appropriate degree of adaptivity into the observation model. Without any adaptivity, tracking fails when object pr...
Andrew Blake, Jaco Vermaak, Michel Gangnet, Patric...
ICML
2005
IEEE
14 years 9 months ago
Bayesian hierarchical clustering
We present a novel algorithm for agglomerative hierarchical clustering based on evaluating marginal likelihoods of a probabilistic model. This algorithm has several advantages ove...
Katherine A. Heller, Zoubin Ghahramani
DIS
2006
Springer
14 years 12 days ago
Automatic Recognition of Landforms on Mars Using Terrain Segmentation and Classification
Mars probes send back to Earth enormous amount of data. Automating the analysis of this data and its interpretation represents a challenging test of significant benefit to the doma...
Tomasz F. Stepinski, Soumya Ghosh, Ricardo Vilalta
EMSOFT
2008
Springer
13 years 10 months ago
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shash...
CAD
2008
Springer
13 years 8 months ago
Geometrically exact dynamic splines
In this paper, we propose a complete model handling the physical simulation of deformable 1D objects. We formulate continuous expressions for stretching, bending and twisting ener...
Adrien Theetten, Laurent Grisoni, Claude Andriot, ...