Sciweavers

570 search results - page 94 / 114
» Edge Coloring with Delays
Sort
View
AI
2004
Springer
14 years 11 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
COMBINATORICS
2004
130views more  COMBINATORICS 2004»
14 years 11 months ago
On-line Ramsey Theory
The Ramsey game we consider in this paper is played on an unbounded set of vertices by two players, called Builder and Painter. In one move Builder introduces a new edge and Paint...
Jaroslaw Grytczuk, Mariusz Haluszczak, Henry A. Ki...
COMBINATORICS
1999
82views more  COMBINATORICS 1999»
14 years 11 months ago
On Highly Closed Cellular Algebras and Highly Closed Isomorphisms
We define and study m-closed cellular algebras (coherent configurations) and m-isomorphisms of cellular algebras which can be regarded as mth approximations of Schurian algebras (...
Sergei Evdokimov, Ilia N. Ponomarenko
TIP
2002
130views more  TIP 2002»
14 years 11 months ago
Forward-and-backward diffusion processes for adaptive image enhancement and denoising
Signal and image enhancement is considered in the context of a new type of diffusion process that simultaneously enhances, sharpens, and denoises images. The nonlinear diffusion co...
Guy Gilboa, Nir A. Sochen, Yehoshua Y. Zeevi
TOG
2002
141views more  TOG 2002»
14 years 11 months ago
Geometry images
Surface geometry is often modeled with irregular triangle meshes. The process of remeshing refers to approximating such geometry using a mesh with (semi)-regular connectivity, whi...
Xianfeng Gu, Steven J. Gortler, Hugues Hoppe