Sciweavers

1054 search results - page 114 / 211
» Models for automatic generation of safety-critical real-time...
Sort
View
IJCAI
2007
15 years 7 months ago
Model-Based Optimization of Testing through Reduction of Stimuli
The paper presents the theoretical foundations and an algorithm to reduce the efforts of testing physical systems. A test is formally described as a set of stimuli (inputs to the ...
Peter Struss
EACL
2006
ACL Anthology
15 years 7 months ago
Using Reinforcement Learning to Build a Better Model of Dialogue State
Given the growing complexity of tasks that spoken dialogue systems are trying to handle, Reinforcement Learning (RL) has been increasingly used as a way of automatically learning ...
Joel R. Tetreault, Diane J. Litman
ECCV
2002
Springer
16 years 8 months ago
Visual Data Fusion for Objects Localization by Active Vision
Visual sensors provide exclusively uncertain and partial knowledge of a scene. In this article, we present a suitable scene knowledge representation that makes integration and fusi...
François Chaumette, Grégory Flandin
MM
2006
ACM
189views Multimedia» more  MM 2006»
16 years 8 days ago
Real-time computerized annotation of pictures
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
Jia Li, James Ze Wang
DEBU
2008
100views more  DEBU 2008»
15 years 6 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu