3571 search results - page 259 / 715 » Cohen and Set Theory |
181
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we formulate symmetry detection for incompletely specified functions as an equation without using cofactor computation and equivalence checking. Based on this equat...
166
click to vote
DEON
2006
Springer
15 years 10 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
145
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this article, new variation operators for evolutionary multiobjective algorithms (EMOA) are proposed. On the basis of a predator-prey model theoretical considerations as well a...
177
Voted
ICDT
2010
ACM
15 years 10 months ago
2010
ACM
Snapshot Isolation is a popular and efficient protocol for concurrency control. In this paper we discuss Snapshot Isolation in view of the classical theory for transaction process...
145
click to vote
AAAI
2007
15 years 9 months ago
2007
The automated planning community has traditionally focused on the efficient synthesis of plans given a complete domain theory. In the past several years, this line of work met wi...