193 search results - page 19 / 39 » On the Automatic Construction of Indistinguishable Operation... |
GECCO
2005
Springer
14 years 1 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
WEBI
2005
Springer
14 years 1 months ago
2005
Springer
We present a middleware system that facilitates Internet users’ access to web-based digital music libraries and allows them to manipulate audio meta-information taking into cons...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
CAISE
1999
Springer
13 years 12 months ago
1999
Springer
Whilst it is a common task in systems integration to have to transform between di erent semantic data models, such inter-model transformations are often speci ed in an ad hoc manne...
ISSTA
1996
ACM
13 years 11 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...