Sciweavers

3677 search results - page 384 / 736
» Is a probabilistic modeling
Sort
View
ESOP
2005
Springer
16 years 8 days ago
Computationally Sound, Automated Proofs for Security Protocols
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
Véronique Cortier, Bogdan Warinschi
NIPS
2008
15 years 8 months ago
Structured ranking learning using cumulative distribution networks
Ranking is at the heart of many information retrieval applications. Unlike standard regression or classification in which we predict outputs independently, in ranking we are inter...
Jim C. Huang, Brendan J. Frey
CVPR
2012
IEEE
13 years 9 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
ISMIR
2001
Springer
262views Music» more  ISMIR 2001»
15 years 11 months ago
Automated Rhythm Transcription
We present a technique that, given a sequence of musical note onset times, performs simultaneous identi cation of the notated rhythm and the variable tempo associated with the tim...
Christopher Raphael
ICRA
2008
IEEE
144views Robotics» more  ICRA 2008»
16 years 1 months ago
Interacting multiple model monocular SLAM
— Recent work has demonstrated the benefits of adopting a fully probabilistic SLAM approach in sequential motion and structure estimation from an image sequence. Unlike standard...
Javier Civera, Andrew J. Davison, J. M. M. Montiel