Sciweavers

5090 search results - page 64 / 1018
» Constructing Strategies for Programming
Sort
View
CIE
2007
Springer
14 years 3 months ago
Characterizing Programming Systems Allowing Program Self-reference
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
John Case, Samuel E. Moelius
SIGDIAL
2010
13 years 6 months ago
Sparse Approximate Dynamic Programming for Dialog Management
Spoken dialogue management strategy optimization by means of Reinforcement Learning (RL) is now part of the state of the art. Yet, there is still a clear mismatch between the comp...
Senthilkumar Chandramohan, Matthieu Geist, Olivier...
ASE
2005
140views more  ASE 2005»
13 years 9 months ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen
ICDE
2000
IEEE
99views Database» more  ICDE 2000»
14 years 10 months ago
XWRAP: An XML-Enabled Wrapper Construction System for Web Information Sources
This paper describes the methodology and the software development of XWRAP, an XML-enabled wrapper construction system for semi-automatic generation of wrapper programs. By XML-ena...
Ling Liu, Calton Pu, Wei Han
EUROGP
2005
Springer
103views Optimization» more  EUROGP 2005»
14 years 2 months ago
GP-EndChess: Using Genetic Programming to Evolve Chess Endgame Players
We apply genetic programming to the evolution of strategies for playing chess endgames. Our evolved programs are able to draw or win against an expert human-based strategy, and dra...
Ami Hauptman, Moshe Sipper