381 search results - page 2 / 77 » Modeling Redundancy: Quantitative and Qualitative Models |
QEST
2006
IEEE
14 years 3 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
MA
1999
Springer
14 years 1 months ago
1999
Springer
In this paper we present practical experiences gathered from the employment of two popular Java-based mobile-agent platforms, IBM's Aglets and Mitsubishi's Concordia. We...
ETRA
2010
ACM
13 years 10 months ago
2010
ACM
This paper presents a set of qualitative and quantitative scores designed to assess performance of any eye movement classification algorithm. The scores are designed to provide a ...
ASC
2007
13 years 9 months ago
2007
Most real world engineering design optimisation approaches reported in the literature aim to find the best set of solutions using computationally expensive quantitative (QT ) mode...
ACL
2001
13 years 10 months ago
2001
This paper describes the application of the PARADISE evaluation framework to the corpus of 662 human-computer dialogues collected in the June 2000 Darpa Communicator data collecti...