Sciweavers

831 search results - page 81 / 167
» Coalgebraic Correspondence Theory
Sort
View
SODA
2007
ACM
76views Algorithms» more  SODA 2007»
15 years 1 months ago
An unbiased pointing operator for unlabeled structures, with applications to counting and sampling
We introduce a general method to count and randomly sample unlabeled combinatorial structures. The approach is based on pointing unlabeled structures in an “unbiased” way, i.e...
Manuel Bodirsky, Éric Fusy, Mihyun Kang, St...
IJCAI
2003
15 years 1 months ago
A Logic For Causal Reasoning
We introduce a logical formalism of irreflexivc causal production relations that possesses both a standard monotonic semantics, and a natural nonmonotonic semantics. The formalism...
Alexander Bochman
NIPS
2003
15 years 1 months ago
Optimal Manifold Representation of Data: An Information Theoretic Approach
We introduce an information theoretic method for nonparametric, nonlinear dimensionality reduction, based on the infinite cluster limit of rate distortion theory. By constraining...
Denis V. Chigirev, William Bialek
IJCAI
1997
15 years 1 months ago
A Cumulative-Model Semantics for Dynamic Preferences on Assumptions
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
Ulrich Junker
GRAPHICSINTERFACE
1996
15 years 1 months ago
Topological Evolution of Surfaces
This paper presents a framework for generating smoothlooking transformations between pairs of surfaces that may differ in topology. The user controls the transformation by specify...
Douglas DeCarlo, Jean H. Gallier