2253 search results - page 162 / 451 » The ComFoRT Reasoning Framework |
169
click to vote
CSL
2007
Springer
15 years 4 months ago
2007
Springer
In a spoken dialog system, determining which action a machine should take in a given situation is a difficult problem because automatic speech recognition is unreliable and hence ...
144
click to vote
CL
2002
Springer
15 years 4 months ago
2002
Springer
The Ambient Calculus (henceforth, AC) was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [9]. We present a type system for AC ...
143
click to vote
CSL
1998
Springer
15 years 4 months ago
1998
Springer
This paper presents PARADISE PARAdigm for DIalogue System Evaluation , a general framework for evaluating and comparing the performance of spoken dialogue agents. The framework d...
156
click to vote
TC
2002
15 years 4 months ago
2002
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
139
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we introduce an extension of propositional logic that allows clauses to be weighted with values from a generic semiring. The main interest of this extension is that ...