608 search results - page 66 / 122 » Tests, Proofs and Refinements |
ACL
1996
13 years 9 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...
ICMCS
2010
IEEE
13 years 9 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,...
CSL
2008
Springer
13 years 8 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...
ENTCS
2006
13 years 7 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 ...
ICRA
2009
IEEE
13 years 5 months ago
2009
IEEE
This paper presents a method for accurately segmenting and classifying 3D range data into particular object classes. Object classification of input images is necessary for applicat...