9110 search results - page 138 / 1822 » Formally-Based Design Evaluation |
ECIR
2009
Springer
15 years 7 months ago
2009
Springer
This paper presents a new approach designed to reduce the computational load of the existing clustering algorithms by trimming down the documents size using fingerprinting methods...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
We present a software system for evaluating ‘dynamic’ protocol specifications for open multi-agent systems, that is, specifications that are developed at design-time but may...
AIED
2007
Springer
15 years 4 months ago
2007
Springer
: This paper reports a study that evaluated a methodology and tool for eliciting the emotional experience of language learning. It has looked at the relative rate of change of diff...
CDES
2006
14 years 11 months ago
2006
We survey a set of flip-flops designed for low power and high performance. We highlight the basic features of these flip-flops and evaluate them based on timing characteristics, po...
SLP
1997
14 years 11 months ago
1997
We demonstrate the bene ts of instruction-set simulation in the evaluation of a parallel programming system, Penny. The simulator is a reliable tool in exploring design alternativ...