2069 search results - page 233 / 414 » Linear time algorithms for Clobber |
166
click to vote
COMBINATORICS
2006
15 years 6 months ago
2006
We present an algorithm which decides the shift equivalence problem for Pfinite sequences. A sequence is called P-finite if it satisfies a homogeneous linear recurrence equation w...
173
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
2010
Eurographics
Skinning is a simple yet popular deformation technique combining compact storage with efficient hardware accelerated rendering. While skinned meshes (such as virtual characters) a...
163
click to vote
AAAI
1996
15 years 7 months ago
1996
GSAT is a randomized greedy local repair procedure that was introduced for solving propositional satis ability and constraint satisfaction problems. We present an improvement to G...
171
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. One of the most important analysis problems of hybrid systems is the reachability problem. State of the art computational tools perform reachability computation for timed...
149
click to vote
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
We develop a novel framework for supporting e-Science applications that require streaming of information between sites. Using a Synchronous Dataflow (SDF) model, our framework inco...