6800 search results - page 996 / 1360 » Testing with Functions as Specifications |
192
click to vote
FC
2008
Springer
15 years 8 months ago
2008
Springer
Oblivious transfer (OT) is a fundamental primitive used in many cryptographic protocols, including general secure function evaluation (SFE) protocols. However, interaction is a pri...
181
Voted
FGR
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we introduce a new system for profilebased face recognition. The specific scenario involves a driver entering a gated area and using his/her sideview image (the dri...
214
click to vote
AAAI
2010
15 years 8 months ago
2010
Gaussian Mixture Model (GMM) is one of the most popular data clustering methods which can be viewed as a linear combination of different Gaussian components. In GMM, each cluster ...
195
click to vote
AIML
2008
15 years 8 months ago
2008
Labelled tableaux are extensions of semantic tableaux with annotations (labels, indices) whose main function is to enrich the modal object language with semantic elements. This pap...
188
click to vote
CAINE
2008
15 years 8 months ago
2008
For many years, introductory Computer Science courses have followed the same teaching paradigms. These paradigms utilize only simple console windows; more interactive approaches t...