7430 search results - page 167 / 1486 » Programming Applications in CIFF |
127
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Satisfiability testing (SAT) is a very active area of research today, with numerous real-world applications. We describe CLASS2.0, a genetic programming system for semi-automatica...
130
click to vote
ICSM
1998
IEEE
15 years 7 months ago
1998
IEEE
Analysis techniques, such as control-flow, data-flow, and control-dependence, are used for a variety of maintenance tasks, including regression testing, dynamic execution profilin...
131
click to vote
AIPS
2004
15 years 4 months ago
2004
Approximate linear programming (ALP) offers a promising framework for solving large factored Markov decision processes (MDPs) with both discrete and continuous states. Successful ...
113
click to vote
WOA
2004
15 years 4 months ago
2004
Abstract-- In this article we present a visual development environment for writing DyLOG programs, explaining the motivations to this work and the main design choices. We will also...
111
click to vote
ANLP
1992
15 years 4 months ago
1992
1 This paper reports on the SPOKESMAN natural language generation system, which is a domain independent text generator designed to incrementally produce text for an underlying appl...