1056 search results - page 199 / 212 » A Probabilistic Applied Pi-Calculus |
VRST
2003
ACM
14 years 24 days ago
2003
ACM
We present a novel, generic framework and algorithm for hierarchical collision detection, which allows an application to balance speed and quality of the collision detection. We p...
EUROCRYPT
2003
Springer
14 years 23 days ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
BIRTHDAY
2010
Springer
14 years 10 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
MM
2009
ACM
2009
ACM
Distance metric learning from uncertain side information with application to automated photo tagging
14 years 6 days ago
Automated photo tagging is essential to make massive unlabeled photos searchable by text search engines. Conventional image annotation approaches, though working reasonably well o...
AIME
2009
Springer
14 years 5 days ago
2009
Springer
Abstract. Mechanical ventilation can cause severe lung damage by inadequate adjustment of the ventilator. We introduce a Machine Learning approach to predict the pressure-dependent...