213
click to vote
FLOPS
10 years 22 days ago
2016 Springer 
Computer Science abounds in folktales about how — in the early days of computer programming — bit vectors were ingeniously used to encode and manipulate finite sets. Algorithm...
120
click to vote
FLOPS
10 years 22 days ago
2016 Springer
We present a new constraint solver over Boolean variables, available as library(clpb)1 in SWI-Prolog. Our solver distinguishes itself from other available CLP(B) solvers by several...
119
click to vote
FLOPS
10 years 22 days ago
2016 Springer
Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined induc...
117
click to vote
FLOPS
10 years 22 days ago
2016 Springer 
Abstract. We present Hakaru, a new probabilistic programming system that allows composable reuse of distributions, queries, and inference algorithms, all expressed in a single lang...
122
click to vote
FLOPS
10 years 22 days ago
2016 Springer
Abstract. Foreign function interfaces are typically organised monolithically, tying together the specification of each foreign function with the mechanism used to make the functio...
|
Automated Reasoning