Sciweavers

1816 search results - page 75 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
IJCAI
2007
15 years 6 months ago
Effective Control Knowledge Transfer through Learning Skill and Representation Hierarchies
Learning capabilities of computer systems still lag far behind biological systems. One of the reasons can be seen in the inefficient re-use of control knowledge acquired over the...
Mehran Asadi, Manfred Huber
DEBU
2010
134views more  DEBU 2010»
15 years 2 months ago
Causality in Databases
Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for "causes" of tuples in the query results or in genera...
Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. ...
IFIP
2010
Springer
14 years 11 months ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
FORTE
1990
15 years 5 months ago
Step-wise Refinement Design Example Using LOTOS
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
Luís Ferreira Pires, Wanderley Lopes de Sou...
EACL
2006
ACL Anthology
15 years 6 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