Sciweavers

3914 search results - page 118 / 783
» Automating SLA modeling
Sort
View
AAAI
2007
13 years 10 months ago
Logic for Automated Mechanism Design - A Progress Report
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
Michael Wooldridge, Thomas Ågotnes, Paul E. ...
ACL
2008
13 years 9 months ago
Intensional Summaries as Cooperative Responses in Dialogue: Automation and Evaluation
Despite its long history, and a great deal of research producing many useful algorithms and observations, research in cooperative response generation has had little impact on the ...
Joseph Polifroni, Marilyn A. Walker
IJCAI
2003
13 years 9 months ago
Automated Generation of Understandable Contingency Plans
Markov decision processes (MDPs) and contingency planning (CP) are two widely used approaches to planning under uncertainty. MDPs are attractive because the model is extremely gen...
Max Horstmann, Shlomo Zilberstein
AAAI
1997
13 years 9 months ago
The Sounds of Silence: Towards Automated Evaluation of Student Learning in a Reading Tutor that Listens
1 We propose a paradigm for ecologically valid, authentic, unobtrusive, automatic, data-rich, fast, robust, and sensitive evaluation of computer-assisted student performance. We i...
Jack Mostow, Gregory Aist
ASE
2006
123views more  ASE 2006»
13 years 8 months ago
Separating sequence overlap for automated test sequence generation
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
Robert M. Hierons