Sciweavers

12399 search results - page 676 / 2480
» Deformable structural models
Sort
View
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 11 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...
PAMI
2006
137views more  PAMI 2006»
15 years 7 months ago
Meticulously Detailed Eye Region Model and Its Application to Analysis of Facial Images
We propose a system that is capable of detailed analysis of eye region images in terms of the position of the iris, degree of eyelid opening, and the shape, complexity, and texture...
Tsuyoshi Moriyama, Takeo Kanade, Jing Xiao, Jeffre...
ICIP
2003
IEEE
16 years 8 months ago
Approximation and compression of piecewise smooth images using a wavelet/wedgelet geometric model
Inherent to photograph-like images are two types of structures: large smooth regions and geometrically smooth edge contours separating those regions. Over the past years, efficien...
Justin K. Romberg, Michael B. Wakin, Richard G. Ba...
CDC
2008
IEEE
202views Control Systems» more  CDC 2008»
16 years 1 months ago
Integrating human and robot decision-making dynamics with feedback: Models and convergence analysis
— Leveraging research by psychologists on human decision-making, we present a human-robot decision-making problem associated with a complex task and study the corresponding joint...
Ming Cao, Andrew Reed Stewart, Naomi Ehrich Leonar...
ICCV
2005
IEEE
16 years 26 days ago
Learning Non-Generative Grammatical Models for Document Analysis
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...
Michael Shilman, Percy Liang, Paul A. Viola