210 search results - page 18 / 42 » Presenting Functors by Operations and Equations |
166
click to vote
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper presents an adaptive technique to animate deformable bodies in real-time. In contrast to most previous work, we introduce a multi-resolution model that locally refines...
143
click to vote
NPL
2002
15 years 4 months ago
2002
A neural network model of associative memory is presented which unifies the two historically more relevant enhancements to the basic Little-Hopfield discrete model: the graded resp...
132
click to vote
PG
2007
IEEE
15 years 10 months ago
2007
IEEE
Caustics are important visual phenomena, as well as challenging global illumination effects in computer graphics. Physically caustics can be interpreted from one of two perspectiv...
154
click to vote
ISSAC
2004
Springer
15 years 9 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
158
click to vote
AIR
2005
15 years 4 months ago
2005
Qualitative temporal and spatial reasoning is in many cases based on binary relations such as before, after, starts, contains, contact, part of, and others derived from these by r...