Sciweavers

1246 search results - page 20 / 250
» Online testing with model programs
Sort
View
INTERSPEECH
2010
13 years 2 months ago
Online adaptive learning for speech recognition decoding
We describe a new method for pruning in dynamic models based on running an adaptive filtering algorithm online during decoding to predict aspects of the scores in the near future....
Jeff Bilmes, Hui Lin
CONSTRAINTS
2006
120views more  CONSTRAINTS 2006»
13 years 7 months ago
Constraint Models for the Covering Test Problem
Covering arrays can be applied to the testing of software, hardware and advanced materials, and to the effects of hormone interaction on gene expression. In this paper we develop c...
Brahim Hnich, Steven David Prestwich, Evgeny Selen...
ACSC
2005
IEEE
13 years 9 months ago
Gradiance On-Line Accelerated Learning
Gradiance On-Line Accelerated Learning GOAL is a system for creating and automatically grading homeworks, programming laboratories, and tests. Through the concept of root questi...
Jeffrey D. Ullman
JLP
2010
73views more  JLP 2010»
13 years 2 months ago
Composing model programs for analysis
Model programs are high-level behavioral specifications used for software testing and design analysis. Composition of model programs is a versatile technique that, at one end of t...
Margus Veanes, Jonathan Jacky
KI
2004
Springer
14 years 1 months ago
On-Line Decision-Theoretic Golog for Unpredictable Domains
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
Alexander Ferrein, Christian Fritz, Gerhard Lakeme...