Sciweavers

808 search results - page 21 / 162
» Object Modeling Using Space Carving
Sort
View
CVPR
2012
IEEE
11 years 10 months ago
From Pictorial Structures to deformable structures
Pictorial Structures (PS) define a probabilistic model of 2D articulated objects in images. Typical PS models assume an object can be represented by a set of rigid parts connecte...
Silvia Zuffi, Oren Freifeld, Michael J. Black
NFM
2011
264views Formal Methods» more  NFM 2011»
13 years 2 months ago
Applying Atomicity and Model Decomposition to a Space Craft System in Event-B
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
Asieh Salehi Fathabadi, Abdolbaghi Rezazadeh, Mich...
CODES
2000
IEEE
13 years 11 months ago
On the roles of functions and objects in system specification
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
Axel Jantsch, Ingo Sander
ICCV
2009
IEEE
15 years 27 days ago
Adaptive Fragments-Based Tracking of Non-Rigid Objects Using Level Sets
We present an approach to visual tracking based on dividing a target into multiple regions, or fragments. The target is represented by a Gaussian mixture model in a joint feature...
Prakash Chockalingam, Nalin Pradeep
SPIRE
2005
Springer
14 years 1 months ago
Using the k-Nearest Neighbor Graph for Proximity Searching in Metric Spaces
Proximity searching consists in retrieving from a database, objects that are close to a query. For this type of searching problem, the most general model is the metric space, where...
Rodrigo Paredes, Edgar Chávez