Sciweavers

1208 search results - page 135 / 242
» On Counting Generalized Colorings
Sort
View
LICS
2007
IEEE
14 years 3 months ago
A Contraction Method to Decide MSO Theories of Deterministic Trees
In this paper we generalize the contraction method, originally proposed by Elgot and Rabin and later extended by Carton and Thomas, from labeled linear orderings to colored determ...
Angelo Montanari, Gabriele Puppis
MFCS
2007
Springer
14 years 3 months ago
Combinatorial Proof that Subprojective Constraint Satisfaction Problems are NP-Complete
Abstract. We introduce a new general polynomial-time constructionthe fibre construction- which reduces any constraint satisfaction problem CSP(H) to the constraint satisfaction pr...
Jaroslav Nesetril, Mark H. Siggers
WAPCV
2007
Springer
14 years 3 months ago
Modeling the Dynamics of Feature Binding During Object-Selective Attention
We present a biologically plausible computational model for solving the visual feature binding problem. The binding problem appears to be due to the distributed nature of visual pr...
Albert L. Rothenstein, John K. Tsotsos
VISUALIZATION
2005
IEEE
14 years 2 months ago
Visualization with stylized line primitives
Line primitives are a very powerful visual attribute used for scientific visualization and in particular for 3D vector-field visualization. We extend the basic line primitives w...
Carsten Stoll, Stefan Gumhold, Hans-Peter Seidel
EGH
2005
Springer
14 years 2 months ago
Fully procedural graphics
The growing application of user-defined programs within graphics processing units (GPUs) has transformed the fixed-function display pipeline into a largely programmable pipeline...
Turner Whitted, James T. Kajiya