1515 search results - page 128 / 303 » On the relation of aspects and monads |
SAT
2004
Springer
14 years 3 months ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
Document security is an increasingly important element in the multi-faceted discipline of document processing, and authentication of individual identity will play an increasingly ...
DIGRA
2003
Springer
14 years 3 months ago
2003
Springer
What are the exact aspects of the videogame medium, the precise features or combinations of features that lend themselves to expressing ideas and meaning? To chart this out, I beg...
ESAW
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Complexity in software design refers to the difficulty in understanding and manipulating the set of concepts, models and techniques involved in the design process. Agents...
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
A fundamental aspect of many evolutionary approaches to synthesis of complex systems is the need to compose atomic elements into useful higher-level building blocks. However, the ...