10910 search results - page 443 / 2182 » Input modeling using a computer algebra system |
156
click to vote
COLING
2002
15 years 6 months ago
2002
Speech dialog systems need to deal with various kinds of ill-formed speech inputs that appear in natural human-human dialog. Self-correction (or speech-repair) is a particularly p...
176
click to vote
FORTE
2008
15 years 8 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
248
click to vote
CVIU
2011
14 years 10 months ago
2011
In this paper we combine methods from the field of computer vision with surface editing techniques to generate animated faces, which are all in full correspondence to each other....
184
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
Image blur is caused by a number of factors such as motion, defocus, capturing light over the non-zero area of the aperture and pixel, the presence of anti-aliasing filters on a c...
152
click to vote
SPIN
2004
Springer
16 years 6 days ago
2004
Springer
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...