Sciweavers

35416 search results - page 306 / 7084
» Evaluation
Sort
View
IFL
2000
Springer
135views Formal Methods» more  IFL 2000»
15 years 10 months ago
Freja, Hat and Hood - A Comparative Evaluation of Three Systems for Tracing and Debugging Lazy Functional Programs
Abstract. In this paper we compare three systems for tracing and debugging Haskell programs: Freja, Hat and Hood. We evaluate their usefulness in practice by applying them to a num...
Olaf Chitil, Colin Runciman, Malcolm Wallace
ISSAC
1995
Springer
155views Mathematics» more  ISSAC 1995»
15 years 10 months ago
On the Implementation of Dynamic Evaluation
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
Peter A. Broadbery, T. Gómez-Díaz, S...
BIOID
2008
130views Biometrics» more  BIOID 2008»
15 years 8 months ago
Evaluating Systems Assessing Face-Image Compliance with ICAO/ISO Standards
This paper focuses on the requirements for face images to be used in Machine Readable Travel Documents, defined in the ISO/IEC 19794-5 standard. In particular an evaluation framewo...
Matteo Ferrara, Annalisa Franco, Davide Maltoni
BIOID
2008
114views Biometrics» more  BIOID 2008»
15 years 8 months ago
Automatic Evaluation of Stroke Slope
An approach for the evaluation of the average slope of the vertically oriented strokes of signatures is described. It is based on the properties of the Fourier Transform which allo...
Georgi Gluhchev, Ognian Boumbarov
FC
2008
Springer
105views Cryptology» more  FC 2008»
15 years 8 months ago
A Practical Universal Circuit Construction and Secure Evaluation of Private Functions
Abstract. We consider general secure function evaluation (SFE) of private functions (PF-SFE). Recall, privacy of functions is often most efficiently achieved by general SFE [18,19,...
Vladimir Kolesnikov, Thomas Schneider 0003