4810 search results - page 860 / 962 » Modeling Value Speculation |
152
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
The concept of the Bayesian optimal single threshold is a well established and widely used classification technique. In this paper, we prove that when spatial cohesion is assumed ...
209
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
279
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
190
click to vote
RECOMB
2007
Springer
16 years 6 months ago
2007
Springer
We present a technique for approximating the free energy of protein structures using Generalized Belief Propagation (GBP). The accuracy and utility of these estimates are then demo...
267
click to vote
VLDB
2002
ACM
16 years 6 months ago
2002
ACM
Relational database systems have traditionally optimized for I/O performance and organized records sequentially on disk pages using the N-ary Storage Model (NSM) (a.k.a., slotted ...