4403 search results - page 562 / 881 » Galois Theory of Algorithms |
229
click to vote
PODS
2008
ACM
16 years 7 months ago
2008
ACM
We study complexity and approximation of queries in an expressive query language for probabilistic databases. The language studied supports the compositional use of confidence com...
226
click to vote
ICFP
2008
ACM
16 years 7 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
214
click to vote
ICFP
2005
ACM
16 years 7 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
217
click to vote
WSDM
2010
ACM
16 years 5 months ago
2010
ACM
We describe an approach for multi-modal characterization of social media by combining text features (e.g. tags as a prominent example of short, unstructured text labels) with spat...
217
click to vote
SODA
2010
ACM
16 years 5 months ago
2010
ACM
We propose new succinct representations of ordinal trees, which have been studied extensively. It is known that any n-node static tree can be represented in 2n + o(n) bits and a l...