1071 search results - page 90 / 215 » Programming with enumerable sets of structures |
82
Voted
WSC
2001
15 years 2 months ago
2001
We review chessboard distributions for modeling partially specified finite-dimensional random vectors. Chessboard distributions can match a given set of marginals, a given covaria...
139
Voted
ICALP
1994
Springer
15 years 4 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
105
Voted
ACL
2010
14 years 10 months ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
204
click to vote
POPL
2004
ACM
16 years 28 days ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
103
click to vote
ICFP
2005
ACM
16 years 18 days ago
2005
ACM
Recent research has shown how boilerplate code, or repetitive code for traversing datatypes, can be eliminated using generic programming techniques already available within some i...