Sciweavers

1194 search results - page 182 / 239
» Lectures on reconfigurable computing
Sort
View
CRYPTO
1998
Springer
117views Cryptology» more  CRYPTO 1998»
14 years 2 months ago
Relations Among Notions of Security for Public-Key Encryption Schemes
ded abstract of this paper appears in Advances in Cryptology { Crypto 98 Proceedings, Lecture Notes in Computer Science Vol. 1462, H. Krawczyk ed., Springer-Verlag, 1998. This is t...
Mihir Bellare, Anand Desai, David Pointcheval, Phi...
ATAL
2006
Springer
14 years 1 months ago
A computer-supported cooperative learning system with multiagent intelligence
In this paper, we describe an innovative infrastructure to support student participation and collaboration and help the instructor manage large or distance classrooms using multia...
Leen-Kiat Soh, Nobel Khandaker, Xuliu Liu, Hong Ji...
AVBPA
2001
Springer
146views Biometrics» more  AVBPA 2001»
14 years 1 months ago
Robust Face Detection Using the Hausdorff Distance
Abstract. The localization of human faces in digital images is a fundamental step in the process of face recognition. This paper presents a shape comparison approach to achieve fas...
Oliver Jesorsky, Klaus J. Kirchberg, Robert Frisch...
SAFECOMP
2000
Springer
14 years 1 months ago
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
Fault tolerant systems based on the use of software design diversity may be able to achieve high levels of reliability more cost-effectively than other approaches, such as heroic ...
Bev Littlewood, Peter T. Popov, Lorenzo Strigini
TACS
1991
Springer
14 years 1 months ago
An Extension of System F with Subtyping
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
Luca Cardelli, Simone Martini, John C. Mitchell, A...