2221 search results - page 83 / 445 » The Importance of Symmetric Representation |
182
click to vote
FOSSACS
2004
Springer
16 years 7 days ago
2004
Springer
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
200
click to vote
GD
2003
Springer
16 years 1 days ago
2003
Springer
We address the new problem of puzzle layout as a new application of awing. We present two abstract models of puzzles, permutation puzzles and cyclic puzzles, which can be modeled a...
189
click to vote
IH
2001
Springer
15 years 11 months ago
2001
Springer
Strong Eternity Service is a safe and very reliable storage for data of high importance. We show how to establish persistent pseudonyms in a totally anonymous environment and how t...
196
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
The Constraint-Based Agent (CBA) framework is a set of tools for designing, simulating, building, verifying, optimizing, learning and debugging controllers for agents embedded in a...
165
click to vote
DELOS
2000
15 years 8 months ago
2000
: This paper presents an overview over parallel architectures for the efficient realisation of digital libraries by considering image databases as an example. The state of the art ...