193 search results - page 19 / 39 » On the Automatic Construction of Indistinguishable Operation... |
164
click to vote
GECCO
2005
Springer
15 years 7 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...
105
click to vote
WEBI
2005
Springer
15 years 7 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...
99
Voted
APLAS
2004
ACM
15 years 7 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...
103
Voted
CAISE
1999
Springer
15 years 6 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...
123
Voted
ISSTA
1996
ACM
15 years 6 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...