124
click to vote
FLOPS
2016
Springer
10 years 1 months 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...
125
click to vote
FLOPS
2016
Springer
10 years 1 months 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...
125
click to vote
FLOPS
2016
Springer
10 years 1 months 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...
213
click to vote
FIRSTMONDAY
2016
10 years 1 months ago
2016
Public institutions are increasingly reliant on data from social media sites to measure public attitude and provide timely public engagement. Such reliance includes the exploratio...
124
click to vote
FFA
2016
10 years 1 months ago
2016
Let n be a positive integer and B be a non-degenerate symmetric bilinear form over Fn q , where q is an odd prime power and Fq is the finite field with q elements. We determine th...