7766 search results - page 355 / 1554 » Testing Nondeterminate Systems |
159
click to vote
ICIS
2004
15 years 8 months ago
2004
Enterprise systems entail complex organizational interventions. Accurately gauging the impact of any complex information system requires understanding its multidimensionality, and...
181
click to vote
ICWN
2003
15 years 8 months ago
2003
This paper presents the experimental evaluation of a Bluetooth-based positioning system. The method has been implemented in a Bluetooth-capable handheld device. Empirical tests of...
148
click to vote
NAACL
1994
15 years 8 months ago
1994
Recently we have begun to build the basic tools for a generic speech-dialog system. The main modules, their function and internal communication have been specified. The different ...
210
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
We present a new methodology of user simulation applied to the evaluation and refinement of stochastic dialog systems. Common weaknesses of these systems are the scarceness of the...
182
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper is concerned with a proof-theoretic observation about two kinds of proof systems for regular cyclic objects. It is presented for the case of two formal systems that are...