Sciweavers

570 search results - page 64 / 114
» Evaluating Usability Evaluation Methods: Criteria, Method an...
Sort
View
ESOP
1994
Springer
15 years 10 months ago
Compilation of Head and Strong Reduction
Functional language compilers implement only weak-head reduction. However, there are cases where head normal forms or full normal forms are needed. Here, we study how to use cps c...
Pascal Fradet
KI
2006
Springer
15 years 6 months ago
Gray Box Robustness Testing of Rule Systems
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
Joachim Baumeister, Jürgen Bregenzer, Frank P...
QEST
2008
IEEE
16 years 16 days ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
BMCBI
2007
116views more  BMCBI 2007»
15 years 6 months ago
Ranked Adjusted Rand: integrating distance and partition information in a measure of clustering agreement
Background: Biological information is commonly used to cluster or classify entities of interest such as genes, conditions, species or samples. However, different sources of data c...
Francisco R. Pinto, João A. Carriço,...
CCGRID
2005
IEEE
15 years 11 months ago
Application-level simulation modelling of large grids
The simulation of large grids requires the generation of grid instances and an approximation of grid components’ behaviour. To generate grid instances, this paper outlines a set...
Serafeim Zanikolas, Rizos Sakellariou