Sciweavers

361 search results - page 20 / 73
» Maximum subset intersection
Sort
View
PODS
1990
ACM
148views Database» more  PODS 1990»
15 years 6 months ago
Stable Models and Non-Determinism in Logic Programs with Negation
Previous researchers have proposed generalizations of Horn clause logic to support negation and nondeterminism as two separate extensions. In this paper, we show that the stable m...
Domenico Saccà, Carlo Zaniolo
IJUFKS
2006
37views more  IJUFKS 2006»
15 years 1 months ago
Automorphisms of the Algebra of Fuzzy Truth Values
One special subalgebra of the algebra of fuzzy truth values is the set of those elements that take only 0 and 1 as values. This subalgebra is in one-to-one correspondence with the...
Carol L. Walker, Elbert A. Walker
JCT
2011
101views more  JCT 2011»
14 years 9 months ago
Almost all triple systems with independent neighborhoods are semi-bipartite
The neighborhood of a pair of vertices u, v in a triple system is the set of vertices w such that uvw is an edge. A triple system H is semi-bipartite if its vertex set contains a ...
József Balogh, Dhruv Mubayi
SAC
2004
ACM
15 years 7 months ago
A new algorithm for gap constrained sequence mining
The sequence mining problem consists in finding frequent sequential patterns in a database of time-stamped events. Several application domains require limiting the maximum tempor...
Salvatore Orlando, Raffaele Perego, Claudio Silves...
CGF
2005
69views more  CGF 2005»
15 years 1 months ago
Structure Preserving CAD Model Repair
There are two major approaches for converting a tessellated CAD model that contains inconsistencies like cracks or intersections into a manifold and closed triangle mesh. Surface ...
Stephan Bischoff, Leif Kobbelt