Sciweavers

1284 search results - page 25 / 257
» Connectivity in Bag Generation
Sort
View
DAM
2006
81views more  DAM 2006»
14 years 12 months ago
Equivalence-free exhaustive generation of matroid representations
Abstract. In this paper we present an algorithm for the problem of exhaustive equivalence-free generation of 3-connected matroids which are represented by a matrix over some finite...
Petr Hlinený
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
15 years 4 months ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
COMBINATORICA
2000
105views more  COMBINATORICA 2000»
14 years 11 months ago
On Cayley Graphs on the Symmetric Group Generated by Tranpositions
Given a connected graph, X, we denote by 2 = 2(X) its smallest non-zero Laplacian eigenvalue. In this paper we show that among all sets of n - 1 transpositions which generate the ...
Joel Friedman
SPAA
1993
ACM
15 years 3 months ago
Supporting Sets of Arbitrary Connections on iWarp Through Communication Context Switches
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
Anja Feldmann, Thomas Stricker, Thomas E. Warfel
CORR
2010
Springer
143views Education» more  CORR 2010»
14 years 12 months ago
Connectivity in Sub-Poisson Networks
: We consider a class of point processes, which we call sub-Poisson; these are point processes that can be directionallyconvexly (dcx) dominated by some Poisson point process. The ...
Bartlomiej Blaszczyszyn, D. Yogeshwaran