4341 search results - page 424 / 869 » Quantitative Model checking |
406
click to vote
CCIW
2011
Springer
14 years 10 months ago
2011
Springer
The representation model that considers an image as a sparse linear combination of few atoms of a predefined or learned dictionary has received considerable attention in recent ye...
218
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
184
click to vote
ICPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We propose a 2D model-based approach for tracking human body parts during articulated motion. A human is modeled as a stick figure with thirteen landmarks, and an action is a sequ...
156
click to vote
MICCAI
2008
Springer
16 years 8 months ago
2008
Springer
Coil embolization offers a new approach to treat aneurysms. This medical procedure is namely less invasive than an open-surgery as it relies on the deployment of very thin platinum...
208
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We present a novel framework for learning a joint shape and appearance model from a large set of un-labelled training examples in arbitrary positions and orientations. The shape an...