4341 search results - page 415 / 869 » Quantitative Model checking |
209
Voted
ICCS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
178
click to vote
ISER
2004
Springer
16 years 7 days ago
2004
Springer
As a flexible needle with a bevel tip is pushed through soft tissue, the asymmetry of the tip causes the needle to bend. We propose that, by using nonholonomic kinematics, contro...
201
Voted
ECCV
2010
Springer
15 years 10 months ago
2010
Springer
Detection, tracking, segmentation and pose estimation of people in monocular images are widely studied. Two-dimensional models of the human body are extensively used, however, they...
188
Voted
PAMI
2007
15 years 6 months ago
2007
—A near-regular texture (NRT) is a geometric and photometric deformation from its regular origin—a congruent wallpaper pattern formed by 2D translations of a single tile. A dyn...
205
Voted
PAMI
2011
15 years 1 months ago
2011
—Recovering the 3D shape of a nonrigid surface from a single viewpoint is known to be both ambiguous and challenging. Resolving the ambiguities typically requires prior knowledge...