3736 search results - page 89 / 748 » Hand-Writing Program Generator Generators |
123
Voted
AMAST
2008
Springer
15 years 4 months ago
2008
Springer
Many complex analysis problems can be most clearly and easily specified as logic rules and queries, where rules specify how given facts can be combined to infer new facts, and quer...
108
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We present Tartanian, a game theory-based player for headsup no-limit Texas Hold'em poker. Tartanian is built from three components. First, to deal with the virtually infinit...
122
click to vote
IJCAI
2007
15 years 3 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
100
click to vote
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
This paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to Generative Programming, which is the a...
127
click to vote
GECCO
1999
Springer
15 years 6 months ago
1999
Springer
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...