9110 search results - page 492 / 1822 » Formally-Based Design Evaluation |
206
click to vote
AVBPA
2005
Springer
16 years 10 days ago
2005
Springer
Currently biometric system performance is evaluated in terms of its FAR and FRR. The accuracy expressed in such a manner depends on the characteristics of the dataset on which the ...
204
click to vote
PEPM
2004
ACM
16 years 6 days ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
152
click to vote
ACG
2003
Springer
16 years 3 days ago
2003
Springer
This article presents the results of an empirical experiment designed to gain insight into what is the effect of the minimax algorithm on the evaluation function. The experiment’...
217
Voted
APN
2006
Springer
15 years 10 months ago
2006
Springer
Stochastic Petri nets (SPNs) have been proved useful for the quantitative analysis of systems. This paper introduces ArgoSPE, a tool for the performance evaluation of software syst...
178
Voted
IADIS
2008
15 years 8 months ago
2008
This paper describes the development of an Adaptive Learning Management System with Support for 3D Collaboration (ALMaS-3D) and presents an evaluation of its main functionalities....