3736 search results - page 545 / 748 » Generative Programming |
157
click to vote
FLAIRS
2007
15 years 9 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...
191
click to vote
AMAST
2008
Springer
15 years 9 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...
160
Voted
FLAIRS
2006
15 years 8 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...
168
click to vote
IJCAI
2003
15 years 8 months ago
2003
Information integration systems provide a uniform query interface to a set of sources. One of the key challenges for an information integration system is to provide maximally comp...
167
click to vote
WSC
2004
15 years 8 months ago
2004
Navy personnel use the REMUS unmanned underwater vehicle to search for submerged objects. Navigation inaccuracies lead to errors in predicting the location of objects and thus inc...