2343 search results - page 83 / 469 » Structure and Interpretation of Computer Programs |
143
Voted
JCB
2000
15 years 4 months ago
2000
We present an implementation of McCaskill's algorithm for computing the base pair probabilities of an RNA molecule for massively parallel message passing architectures. The p...
133
click to vote
TPHOL
2000
IEEE
15 years 8 months ago
2000
IEEE
We modify the reflection method to enable it to deal with partial functions like division. The idea behind reflection is to program a tactic for a theorem prover not in the impleme...
199
click to vote
JMLR
2012
13 years 7 months ago
2012
This paper studies issues relating to the parameterization of probability distributions over binary data sets. Several such parameterizations of models for binary data are known, ...
138
click to vote
ASP
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
110
click to vote
ICCAD
2006
IEEE
16 years 1 months ago
2006
IEEE
We present a technique for increasing the throughput of stream processing architectures by removing the bottlenecks caused by loop structures. We implement loops as self-timed pip...