12597 search results - page 2127 / 2520 » Complexity of Mechanism Design |
199
click to vote
ASPDAC
1998
ACM
15 years 11 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
171
click to vote
ACISP
2007
Springer
15 years 11 months ago
2007
Springer
In this paper, we propose a new construction algorithm for finding differential paths of Round 1 of SHA-1 for use in the collision search attack. Generally, the differential path o...
224
click to vote
ACMSE
2007
ACM
15 years 11 months ago
2007
ACM
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...
220
click to vote
AIHC
2007
Springer
15 years 11 months ago
2007
Springer
Many people believe that emotions and subjective feelings are one and the same and that a goal of human-centered computing is emotion recognition. The first belief is outdated; the...
221
click to vote
AOSD
2007
ACM
15 years 11 months ago
2007
ACM
Inspired by our past manual aspect mining experiences, this paper describes a random walk model to approximate how crosscutting concerns can be discovered in the absence of domain...