4743 search results - page 659 / 949 » Introduction to Functional Programming |
141
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
164
click to vote
SIAMJO
2010
15 years 5 months ago
2010
A linear matrix inequality (LMI) is a condition stating that a symmetric matrix whose entries are affine linear combinations of variables is positive semidefinite. Motivated by th...
166
click to vote
TOMS
2010
15 years 5 months ago
2010
The Tutte polynomial of a graph, also known as the partition function of the q-state Potts model, is a 2-variable polynomial graph invariant of considerable importance in both comb...
208
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
168
click to vote
UIST
2010
ACM
15 years 4 months ago
2010
ACM
Mechanical Turk provides an on-demand source of human computation. This provides a tremendous opportunity to explore algorithms which incorporate human computation as a function c...