10916 search results - page 2127 / 2184 » On Constructive Connectives and Systems |
204
click to vote
SEFM
2007
IEEE
16 years 17 days ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
182
click to vote
ATAL
2007
Springer
16 years 14 days ago
2007
Springer
Decentralized MDPs provide powerful models of interactions in multi-agent environments, but are often very difficult or even computationally infeasible to solve optimally. Here we...
147
click to vote
CLEF
2007
Springer
16 years 14 days ago
2007
Springer
Our algorithm, ParaMor, fared well in Morpho Challenge 2007 (Kurimo et al., 2007), a peer operated competition pitting against one another algorithms designed to discover the morp...
180
click to vote
CSL
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. Probably the most significant result concerning cut-free sequent calculus proofs in linear logic is the completeness of focused proofs. This completeness theorem has a n...
177
click to vote
GECCO
2007
Springer
16 years 14 days ago
2007
Springer
Ant Colony Optimization (ACO) has been successfully applied to those combinatorial optimization problems which can be translated into a graph exploration. Artificial ants build s...