Sciweavers

4679 search results - page 297 / 936
» Modeling When Connections Are the Problem
Sort
View
SIGSOFT
2009
ACM
16 years 7 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
ICRA
1998
IEEE
113views Robotics» more  ICRA 1998»
15 years 11 months ago
Analysis of Frictional Contact Models for Dynamic Simulation
Simulation of dynamic systems possessing unilateral frictional contacts is important to many industrial applications. While rigid body models are often employed, it is well establ...
Peter R. Kraus, Vijay Kumar, Pierre Dupont
AMDO
2006
Springer
15 years 10 months ago
Monocular Tracking with a Mixture of View-Dependent Learned Models
This paper considers the problem of monocular human body tracking using learned models. We propose to learn the joint probability distribution of appearance and body pose using a m...
Tobias Jaeggli, Esther Koller-Meier, Luc J. Van Go...
PAMI
2010
113views more  PAMI 2010»
15 years 5 months ago
Hierarchical Bayesian Modeling of Topics in Time-Stamped Documents
—We consider the problem of inferring and modeling topics in a sequence of documents with known publication dates. The documents at a given time are each characterized by a topic...
Iulian Pruteanu-Malinici, Lu Ren, John William Pai...
ICDAR
2009
IEEE
15 years 4 months ago
Language Model Integration for the Recognition of Handwritten Medieval Documents
Building recognition systems for historical documents is a difficult task. Especially, when it comes to medieval scripts. The complexity is mainly affected by the poor quality and...
Markus Wüthrich, Marcus Liwicki, Andreas Fisc...