Sciweavers

3564 search results - page 287 / 713
» Evaluating a Formal Modelling Language
Sort
View
143
Voted
LREC
2010
164views Education» more  LREC 2010»
15 years 6 months ago
Practical Evaluation of Speech Recognizers for Virtual Human Dialogue Systems
We perform a large-scale evaluation of multiple off-the-shelf speech recognizers across diverse domains for virtual human dialogue systems. Our evaluation is aimed at speech recog...
Xuchen Yao, Pravin Bhutada, Kallirroi Georgila, Ke...
139
Voted
COLING
2002
15 years 4 months ago
A New Probabilistic Model for Title Generation
Title generation is a complex task involving both natural language understanding and natural language synthesis. In this paper, we propose a new probabilistic model for title gene...
Rong Jin, Alexander G. Hauptmann
ATAL
2008
Springer
15 years 7 months ago
Goals in agent systems: a unifying framework
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
M. Birna van Riemsdijk, Mehdi Dastani, Michael Win...
133
Voted
FMCO
2008
Springer
133views Formal Methods» more  FMCO 2008»
15 years 6 months ago
BML and Related Tools
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
DAGSTUHL
1998
15 years 6 months ago
Specification of Dynamics for Knowledge-Based Systems
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
Pascal van Eck, Joeri Engelfriet, Dieter Fensel, F...