7167 search results - page 452 / 1434 » Answer Set Programming |
229
click to vote
GECCO
2005
Springer
16 years 12 days 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...
133
click to vote
GG
2004
Springer
16 years 8 days ago
2004
Springer
We propose a faithful encoding of Java programs (written in a suitable fragment of the language) to Graph Transformation Systems. Every program is translated to a set of rules incl...
171
click to vote
PADL
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. A session type is an abstraction of a set of sequences of heterogeneous values sent and received over a communication channel. Session types can be used for specifying st...
165
click to vote
OOPSLA
2000
Springer
15 years 10 months ago
2000
Springer
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
143
click to vote
ENTCS
2008
15 years 7 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...