Sciweavers

13591 search results - page 354 / 2719
» On the Implementation of Dynamic Evaluation
Sort
View
QEST
2009
IEEE
16 years 1 months ago
Simulation-Based CTMC Model Checking: An Empirical Evaluation
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...
Joost-Pieter Katoen, Ivan S. Zapreev
IDEAS
2009
IEEE
176views Database» more  IDEAS 2009»
16 years 1 months ago
Evaluation of skyline algorithms in PostgreSQL
In this paper, we present our work on evaluating the skyline algorithms BNL, SFS, and a variant of LESS in PostgreSQL. It is well known that the performance of skyline queries is ...
Hannes Eder, Fang Wei
ESA
2009
Springer
106views Algorithms» more  ESA 2009»
16 years 1 months ago
Fast Evaluation of Interlace Polynomials on Graphs of Bounded Treewidth
Abstract. We consider the multivariate interlace polynomial introduced by Courcelle (2008), which generalizes several interlace polynomials defined by Arratia, Bollob´as, and Sor...
Markus Bläser, Christian Hoffmann
ICB
2009
Springer
586views Biometrics» more  ICB 2009»
16 years 1 months ago
Face Image Quality Evaluation for ISO/IEC Standards 19794-5 and 29794-5
Face recognition performance can be significantly influenced by face image quality. The approved ISO/IEC standard 19794-5 has specified recommendations for face photo taking for...
Jitao Sang, Zhen Lei, Stan Z. Li
UM
2009
Springer
16 years 1 months ago
Evaluating Web Based Instructional Models Using Association Rule Mining
Abstract. In this paper we describe an Integrated Development System for Instructional Model for E-learning (INDESIME) to create and to maintain instructional models using adaptive...
Enrique García, Cristóbal Romero, Se...