1992 search results - page 195 / 399 » Model Based Testing with Labelled Transition Systems |
190
click to vote
AROBOTS
2011
14 years 11 months ago
2011
Abstract— GP-BayesFilters are a general framework for integrating Gaussian process prediction and observation models into Bayesian filtering techniques, including particle filt...
122
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We present a novel method for the discovery and detection of visual object categories based on decompositions using topic models. The approach is capable of learning a compact and...
156
click to vote
UMUAI
2002
15 years 3 months ago
2002
Spoken dialogue systemperformance canvary widely fordifferentusers, aswell for the same userduring different dialogues.This paper presents the design and evaluation ofan adaptive v...
139
Voted
SP
2000
IEEE
15 years 8 months ago
2000
IEEE
Nested certification is a methodology for efficient certificate path verification. Nested certificates can be used together with classical certificates in the Public Key Infrastru...
178
click to vote
VW
2000
Springer
15 years 7 months ago
2000
Springer
This paper describes a text-to-audiovisual speech synthesizer system incorporating the head and eye movements. The face is modeled using a set of images of a human subject. Visemes...