Sciweavers

2036 search results - page 172 / 408
» From Sampling to Model Counting
Sort
View
DAGM
2001
Springer
15 years 9 months ago
3D Model Retrieval with Spherical Harmonics and Moments
We consider 3D object retrieval in which a polygonal mesh serves as a query and similar objects are retrieved from a collection of 3D objects. Algorithms proceed first by a normal...
Dietmar Saupe, Dejan V. Vranic
CVPR
2010
IEEE
16 years 5 days ago
Part and Appearance Sharing: Recursive Compositional Models for Multi-View Multi-Object Detection
We propose Recursive Compositional Models (RCMs) for simultaneous multi-view multi-object detection and parsing (e.g. view estimation and determining the positions of the object s...
Leo Zhu, Yuanhao Chen, Antonio Torralba, William F...
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 9 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...
TMC
2011
187views more  TMC 2011»
15 years 1 days ago
Mobility Tracking Based on Autoregressive Models
We propose an integrated scheme for tracking the mobility of a user based on autoregressive models that accurately capture the characteristics of realistic user movements in wirel...
Zainab R. Zaidi, Brian L. Mark
NIPS
1997
15 years 6 months ago
EM Algorithms for PCA and SPCA
I present an expectation-maximization (EM) algorithm for principal component analysis (PCA). The algorithm allows a few eigenvectors and eigenvalues to be extracted from large col...
Sam T. Roweis