Sciweavers

3765 search results - page 14 / 753
» Qualitative Action Systems
Sort
View
COLING
2010
13 years 3 months ago
Toward Qualitative Evaluation of Textual Entailment Systems
This paper presents a methodology for a quantitative and qualitative evaluation of Textual Entailment systems. We take advantage of the decomposition of Text Hypothesis pairs into...
Elena Cabrio, Bernardo Magnini
HYBRID
2003
Springer
14 years 1 months ago
Qualitative Heterogeneous Control of Higher Order Systems
This paper presents the qualitative heterogeneous control framework, a methodology for the design of a controlled hybrid system based on attractors and transitions between them. Th...
Subramanian Ramamoorthy, Benjamin Kuipers
QEST
2006
IEEE
14 years 2 months ago
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems
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...
Frank Ciesinski, Christel Baier
HICSS
2007
IEEE
149views Biometrics» more  HICSS 2007»
14 years 3 months ago
Managing a New Computer Device Development in a Creative ISO 9001 Certified Company: A Case Study
This paper describes the findings of a case study that explores the micro level factors surrounding the processes of creativity and process management in a creative organization. ...
Wolfgang Molnar, Joe Nandhakumar
ACL
2001
13 years 10 months ago
Quantitative and Qualitative Evaluation of Darpa Communicator Spoken Dialogue Systems
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...
Marilyn A. Walker, Rebecca J. Passonneau, Julie E....