716 search results - page 123 / 144 » Modelling Bounded Rationality Using Evolutionary Techniques |
114
click to vote
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
The Alloy tool-set has been gaining popularity as an alternative to traditional manual testing and checking for design correctness. Alloy uses a first-order relational logic for m...
ISBI
2009
IEEE
15 years 8 months ago
2009
IEEE
Fluorescence localization microscopy (i.e., PALM, STORM) has enabled optical imaging at nanometer-scale resolutions. The localization algorithms used in these techniques rely on ...
103
Voted
ASIACRYPT
2000
Springer
15 years 6 months ago
2000
Springer
nded abstract of this work appears Advances in Cryptology — Asiacrypt 2000, Tatsuaki Okamoto, editor, Lecture Notes in Computer Science vol. 1976, Springer-Verlag, 2000. c IACR A...
135
Voted
ICVS
1999
Springer
15 years 6 months ago
1999
Springer
We propose Action-Reaction Learning as an approach for analyzing and synthesizing human behaviour. This paradigm uncovers causal mappings between past and future events or between...
119
Voted
STOC
1998
ACM
15 years 6 months ago
1998
ACM
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...