Sciweavers

4074 search results - page 471 / 815
» Abstract Graph Transformation
Sort
View
DCG
2007
69views more  DCG 2007»
15 years 6 months ago
Realizations of the Associahedron and Cyclohedron
Abstract. We describe many different realizations with integer coordinates for the associahedron (i.e. the Stasheff polytope) and for the cyclohedron (i.e. the Bott-Taubes polyto...
Christophe Hohlweg, Carsten E. M. C. Lange
KI
2008
Springer
15 years 6 months ago
Symbolic Classification of General Two-Player Games
Abstract. In this paper we present a new symbolic algorithm for the classification, i. e. the calculation of the rewards for both players in case of optimal play, of two-player gam...
Stefan Edelkamp, Peter Kissmann
RSA
2006
104views more  RSA 2006»
15 years 6 months ago
The satisfiability threshold for randomly generated binary constraint satisfaction problems
Abstract. We study two natural models of randomly generated constraint satisfaction problems. We determine how quickly the domain size must grow with n to ensure that these models ...
Alan M. Frieze, Michael Molloy
JCT
2007
107views more  JCT 2007»
15 years 6 months ago
On a conjecture of Wilf
Abstract. Let n and k be natural numbers and let S(n, k) denote the Stirling numbers of the second kind. It is a conjecture of Wilf that the alternating sum nX j=0 (−1)j S(n, j) ...
Stefan De Wannemacker, Thomas Laffey, Robert Osbur...
TVCG
2008
92views more  TVCG 2008»
15 years 6 months ago
High-Quality Rendering of Quartic Spline Surfaces on the GPU
Abstract-- We present a novel GPU-based algorithm for highquality rendering of bivariate spline surfaces. An essential difference to the known methods for rendering graph surfaces ...
Gerd Reis, Frank Zeilfelder, Martin Hering-Bertram...