2468 search results - page 133 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
132
Voted
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Many recent techniques for low-level vision problems such as image denoising are formulated in terms of Markov random field (MRF) or conditional random field (CRF) models. Nonethel...
108
Voted
SIGADA
1998
Springer
15 years 7 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
129
Voted
WSC
2000
15 years 5 months ago
2000
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
141
Voted
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
Hand-drawn diagrams present a complex recognition problem. Elements of the diagram are often individually ambiguous, and require context to be interpreted. We present a recognitio...
157
Voted
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—Recently, there has been great interest in physical layer security techniques that exploit the randomness of wireless channels for securely extracting cryptographic keys. Severa...