9405 search results - page 100 / 1881 » Computing a Model of Set Theory |
ECCV
2006
Springer
15 years 1 months ago
2006
Springer
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...
SMA
2008
ACM
14 years 10 months ago
2008
ACM
Height maps are a very efficient surface representation, initially developed for terrain modeling and visualization. They are also present in other applications, such as mesostruc...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
In this paper, we study the complexity of model-checking formulas of three important real-time logics (MTL, MITL, and TCTL) over restricted sets of timed paths. The classes of rest...
CVPR
2001
IEEE
15 years 12 months ago
2001
IEEE
Active contour and surface models, also known as deformable models, constitute a class of powerful segmentation techniques. Geometric deformable models implemented via level-set m...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—The recently developed small wireless devices ranging from sensor boards to mobile phones provide a timely opportunity to gather unique data sets on complex human interactions, ...