Sciweavers

7796 search results - page 304 / 1560
» On Generalized Schur Numbers
Sort
View
DM
2008
88views more  DM 2008»
15 years 6 months ago
Packing triangles in low degree graphs and indifference graphs
We consider the problems of finding the maximum number of vertex-disjoint triangles (VTP) and edge-disjoint triangles (ETP) in a simple graph. Both problems are NP-hard. The algor...
Gordana Manic, Yoshiko Wakabayashi
AMC
2006
80views more  AMC 2006»
15 years 6 months ago
Parallel preconditioned conjugate gradient optimization of the Rayleigh quotient for the solution of sparse eigenproblems
A parallel algorithm based on the multidimensional minimization of the Rayleigh quotient is proposed to evaluate the leftmost eigenpairs of the generalized symmetric positive defi...
Luca Bergamaschi, Angeles Martinez, Giorgio Pini
IANDC
2008
116views more  IANDC 2008»
15 years 6 months ago
Deciding expressive description logics in the framework of resolution
We present a decision procedure for the description logic SHIQ based on the basic superposition calculus, and show that it runs in exponential time for unary coding of numbers. To...
Ullrich Hustadt, Boris Motik, Ulrike Sattler
CACM
2006
97views more  CACM 2006»
15 years 6 months ago
Software frameworks for advanced procurement auction markets
Traditional auctions such as the English and first-price sealed-bid auctions have been adopted as another tool for procurement negotiations. Throughout the past decade many new auc...
Martin Bichler, Jayant Kalagnanam
COMBINATORICS
2006
137views more  COMBINATORICS 2006»
15 years 6 months ago
Three-Letter-Pattern-Avoiding Permutations and Functional Equations
We present an algorithm for finding a system of recurrence relations for the number of permutations of length n that satisfy a certain set of conditions. A rewriting of these rela...
Ghassan Firro, Toufik Mansour