9405 search results - page 293 / 1881 » Computing a Model of Set Theory |
130
click to vote
SPAA
1990
ACM
15 years 8 months ago
1990
ACM
Multithreading has been proposed as an architectural strategy for tolerating latency in multiprocessors and, through limited empirical studies, shown to offer promise. This paper ...
143
click to vote
CCE
2004
15 years 4 months ago
2004
A large number of problems in production planning and scheduling, location, transportation, finance, and engineering design require that decisions be made in the presence of uncer...
181
click to vote
RECOMB
2004
Springer
16 years 5 months ago
2004
Springer
Phylogenetic hidden Markov models (phylo-HMMs) have recently been proposed as a means for addressing a multispecies version of the ab initio gene prediction problem. These models ...
121
click to vote
ENVSOFT
2006
15 years 4 months ago
2006
: Since Keynes (1930) and Hicks (1939) propounded their theory of normal backwardation, the issue of whether hedgers must pay speculators an insurance premium has remained controve...
138
click to vote
PKDD
2010
Springer
15 years 3 months ago
2010
Springer
Mining Meets Abstract Interpretation J. Carmona and J. Cortadella Universitat Polit`ecnica de Catalunya, Spain The discovery of process models out of system traces is a problem tha...