4894 search results - page 113 / 979 » Choices |
151
click to vote
ENTCS
2002
15 years 6 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
158
click to vote
AIEDAM
1998
15 years 6 months ago
1998
Gradient-based numerical optimization of complex engineering designs offers the promise of rapidly producing better designs. However, such methods generally assume that the object...
164
click to vote
ENTCS
1998
15 years 5 months ago
1998
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
140
Voted
MANSCI
2010
15 years 4 months ago
2010
The study of risky decision-making has long used monetary gambles to study choice, but many everyday decisions do not involve the prospect of winning or losing money. Monetary gam...
178
click to vote
JDCTA
2010
15 years 1 months ago
2010
To gain insights into the neural basis of such adaptive decision-making processes, we investigated the nature of learning process in humans playing a competitive game with binary ...