2273 search results - page 415 / 455 » On the Expressiveness and Complexity of ATL |
178
click to vote
EUROCRYPT
2004
Springer
15 years 11 months ago
2004
Springer
Informally, an obfuscator O is an efficient, probabilistic “compiler” that transforms a program P into a new program O(P) with the same functionality as P, but such that O(P)...
184
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Chemical Genetic Programming (CGP) is a new method of genetic programming that introduced collision-based biochemical processes and realized dynamic mapping from genotypic strings ...
265
click to vote
IWAN
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...
162
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
166
click to vote
MFCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...