2468 search results - page 376 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
163
Voted
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
Service-oriented computing paradigm encourages the use of dynamic binding of application requirements to the resources needed to fulfill application tasks. Especially in pervasive...
131
Voted
PAMI
1998
15 years 3 months ago
1998
—We present an example-based learning approach for locating vertical frontal views of human faces in complex scenes. The technique models the distribution of human face patterns ...
161
Voted
TVLSI
2010
14 years 10 months ago
2010
Abstract-- The operational characteristics of integrated circuits based on nanoscale semiconductor technology are expected to be increasingly affected by variations in the manufact...
130
Voted
EUROCRYPT
2005
Springer
15 years 9 months ago
2005
Springer
Biometric data offer a potential source of high-entropy, secret information that can be used in cryptographic protocols provided two issues are addressed: (1) biometric data are n...
127
Voted
ICS
2007
Tsinghua U.
15 years 9 months ago
2007
Tsinghua U.
Sensitivity Analysis (SA) is a novel compiler technique that complements, and integrates with, static automatic parallelization analysis for the cases when relevant program behavi...