Sciweavers

4753 search results - page 458 / 951
» Natural Modelling of Interactive Applications
Sort
View
CVPR
2008
IEEE
16 years 8 months ago
Discriminative modeling by Boosting on Multilevel Aggregates
This paper presents a new approach to discriminative modeling for classi cation and labeling. Our method, called Boosting on Multilevel Aggregates (BMA), adds a new class of hiera...
Jason J. Corso
188
Voted
CADE
2007
Springer
16 years 7 months ago
Encodings of Bounded LTL Model Checking in Effectively Propositional Logic
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
Andrei Voronkov, Juan Antonio Navarro Pérez
SEKE
2004
Springer
16 years 1 days ago
UCDA: Use Case Driven Development Assistant Tool for Class Model Generation
The development of class models using the Rational Unified Process (RUP) requires complete, correct and unambiguous use case specification documents. The Use Case Driven Developmen...
Kalaivani Subramaniam, Dong Liu, Behrouz Homayoun ...
171
Voted
SI3D
1999
ACM
15 years 11 months ago
Computing bounding volume hierarchies using model simplification
This paper presents a framework that uses the outputs of model simplification to guide the construction of bounding volume hierarchies for use in, for example, collision detection...
Tiow Seng Tan, Ket-Fah Chong, Kok-Lim Low
ECCV
2006
Springer
15 years 10 months ago
Segmenting Dynamic Textures with Ising Descriptors, ARX Models and Level Sets
Abstract. We present a new algorithm for segmenting a scene consisting of multiple moving dynamic textures. We model the spatial statistics of a dynamic texture with a set of secon...
Atiyeh Ghoreyshi, René Vidal