7103 search results - page 1039 / 1421 » Program Generation and Components |
120
click to vote
VLDB
1995
ACM
15 years 8 months ago
1995
ACM
Traditionally, optimizers are “programmed” to optimize queries following a set of buildin procedures. However, optimizers should be robust to its changing environment to gener...
148
click to vote
AAAI
2008
15 years 6 months ago
2008
Decentralized Markov Decision Processes are a powerful general model of decentralized, cooperative multi-agent problem solving. The high complexity of the general problem leads to...
123
click to vote
FLAIRS
2007
15 years 6 months ago
2007
In this work we explore how the complexity of a problem domain affects the performance of evolutionary search using a performance-based restart policy. Previous research indicates...
141
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
121
click to vote
FLAIRS
2006
15 years 5 months ago
2006
We are developing systems which play music on synthesized plucked strings instruments idiomatically. The present paper introduces a system focusing on the acoustic guitar. The sys...