1722 search results - page 230 / 345 » Generating Tests from Counterexamples |
AIPR
2008
IEEE
13 years 11 months ago
2008
IEEE
We present an agent-based full body tracking and 3D animation system to generate motion data using stereo calibrated cameras. The novelty of our approach is that agents are bound t...
EMNLP
2008
13 years 10 months ago
2008
This paper explores the use of set expansion (SE) to improve question answering (QA) when the expected answer is a list of entities belonging to a certain class. Given a small set...
DGO
2003
13 years 10 months ago
2003
Shoreline mapping and shoreline change detection are critical in many coastal zone applications. This paper presents results of the semi-automatic mapping of a coastal area of Lak...
SBBD
2003
13 years 10 months ago
2003
Advanced personalization of database applications is a big challenge, in particular for distributed mobile environments. We present several new results from a prototype of a route...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
The standard approach to speaker verification is to extract cepstral features from the speech spectrum and model them by generative or discriminative techniques. We propose a nov...