Sciweavers

8699 search results - page 379 / 1740
» Elements of the Theory of Computation
Sort
View
TOG
2002
165views more  TOG 2002»
15 years 6 months ago
CHARMS: a simple framework for adaptive simulation
Finite element solvers are a basic component of simulation applications; they are common in computer graphics, engineering, and medical simulations. Although adaptive solvers can ...
Eitan Grinspun, Petr Krysl, Peter Schröder
CG
2010
Springer
15 years 1 months ago
Extraversion in Games
The behavior of a human player in a game expresses the personality of that player. Personality is an important characteristic for modeling the player's profile. In our researc...
Giel van Lankveld, Sonny Schreurs, Pieter Spronck,...
ICCV
1998
IEEE
16 years 8 months ago
Visual Motion Estimation and Prediction: A Probabilistic Network Model for Temporal Coherence
We develop a theory for the temporal integration of visual motion motivated by psychophysical experiments. The theory proposes that input data are temporally grouped and used to p...
Alan L. Yuille, Pierre-Yves Burgi, Norberto M. Grz...
BIRTHDAY
2005
Springer
16 years 12 days ago
Primitive Rewriting
Undecidability results in rewriting have usually been proved by reduction from undecidable problems of Turing machines or, more recently, from Post’s Correspondence Problem. Ano...
Nachum Dershowitz
BIRTHDAY
2004
Springer
16 years 7 days ago
Seeing Beyond Divergence
A long-standing complaint about the theory of CSP has been that all theories which encompass divergence are divergence-strict, meaning that nothing beyond the first divergence ca...
A. W. Roscoe