Sciweavers

1496 search results - page 251 / 300
» Improving the Modeling of Use Case Relationship
Sort
View
CRYPTO
2006
Springer
92views Cryptology» more  CRYPTO 2006»
15 years 9 months ago
Rigorous Bounds on Cryptanalytic Time/Memory Tradeoffs
In this paper we formalize a general model of cryptanalytic time/memory tradeoffs for the inversion of a random function f : {0, 1, . . . , N - 1} {0, 1, . . . , N - 1}. The model...
Elad Barkan, Eli Biham, Adi Shamir
IJCAI
2003
15 years 7 months ago
A Fast and Simple Algorithm for Bounds Consistency of the AllDifferent Constraint
In constraint programming one models a problem by stating constraints on acceptable solutions. The constraint model is then usually solved by interleaving backtracking search and ...
Alejandro López-Ortiz, Claude-Guy Quimper, ...
WSC
2001
15 years 7 months ago
Simulation of check-in at airports
The purpose of this paper is to describe (a) why simulation is necessary to evaluate check-in, (b) a simulation toolbox for check-in counters and (c) Two case studies for Amsterda...
Paul E. Joustra, Nico M. van Dijk
AAAI
1992
15 years 7 months ago
The Expected Value of Hierarchical Problem-Solving
est case using an abstraction hierarchy in problem-solving can yield an exponential speed-up in search e ciency. Such a speed-up is predicted by various analytical models develope...
Fahiem Bacchus, Qiang Yang
BC
2006
62views more  BC 2006»
15 years 6 months ago
Population approach to a neural discrimination task
Abstract This article gives insights into the possible neuronal processes involved in visual discrimination. We study the performance of a spiking network of Integrate-and-Fire (IF...
Benoit Gaillard, Hilary Buxton, Jianfeng Feng