279 search results - page 33 / 56 » Testing for Refinement in CSP |
140
Voted
ECIS
2000
15 years 4 months ago
2000
- The issue of web-site quality is tackled from the perspective of the `voice of the customer'. Quality function deployment (QFD) is adopted as a framework for identifying web...
133
Voted
ACL
1996
15 years 4 months ago
1996
In this paper, we present a new approach for word sense disambiguation (WSD) using an exemplar-based learning algorithm. This approach integrates a diverse set of knowledge source...
145
Voted
ICMCS
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we propose an unsupervised segmentation algorithm for extracting moving objects/regions from compressed video using Markov Random Field (MRF) classification. First,...
142
click to vote
CSL
2008
Springer
15 years 3 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...
157
Voted
ENTCS
2006
15 years 3 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...