Sciweavers

1916 search results - page 274 / 384
» Reasoning with class algebra
Sort
View
ICML
1995
IEEE
14 years 9 months ago
Stable Function Approximation in Dynamic Programming
The success ofreinforcement learninginpractical problems depends on the ability to combine function approximation with temporal di erence methods such as value iteration. Experime...
Geoffrey J. Gordon
ICLP
2009
Springer
14 years 9 months ago
Answer Set Programming for Single-Player Games in General Game Playing
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
Michael Thielscher
ICSE
2003
IEEE-ACM
14 years 9 months ago
A Compositional Formalization of Connector Wrappers
Increasingly systems are composed of parts: software components, and the interaction mechanisms (connectors) that enable them to communicate. When assembling systems from independ...
Bridget Spitznagel, David Garlan
PERCOM
2003
ACM
14 years 8 months ago
Steerable Interfaces for Pervasive Computing Spaces
This paper introduces a new class of interactive interfaces that can be moved around to appear on ordinary objects and surfaces anywhere in a space. By dynamically adapting the fo...
Gopal Pingali, Claudio S. Pinhanez, Anthony Levas,...
AINA
2009
IEEE
14 years 3 months ago
Quantitative Evaluation of Software Quality Metrics in Open-Source Projects
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
Henrike Barkmann, Rüdiger Lincke, Welf Lö...