Sciweavers

4123 search results - page 257 / 825
» Multiple Relational Embedding
Sort
View
AMAI
2007
Springer
15 years 6 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans
CORR
2010
Springer
175views Education» more  CORR 2010»
15 years 6 months ago
On affine rigidity
We study the properties of affine rigidity of a (hyper)graph and prove a variety of fundamental results. First, we show that affine rigidity is a generic property (i.e., only depen...
Steven J. Gortler, Craig Gotsman, Ligang Liu, Dyla...
JMIV
2006
116views more  JMIV 2006»
15 years 6 months ago
Geodesic Matching with Free Extremities
In this paper, we describe how to use geodesic energies defined on various sets of objects to solve several distance related problems. We first present the theory of metamorphoses ...
Laurent Garcin, Laurent Younes
COMBINATORICA
2008
123views more  COMBINATORICA 2008»
15 years 5 months ago
Counting canonical partitions in the random graph
Algorithms are given for computing the number of n-element diagonal sets and the number of n-element strongly diagonal sets of binary sequences of length at most 2n - 2. The first...
Jean A. Larson
158
Voted
EDBT
2002
ACM
112views Database» more  EDBT 2002»
16 years 6 months ago
Querying with Intrinsic Preferences
The handling of user preferences is becoming an increasingly important issue in present-day information systems. Among others, preferences are used for information filtering and ex...
Jan Chomicki