3482 search results - page 221 / 697 » In Praise of Numerical Computation |
152
click to vote
SI3D
2003
ACM
15 years 11 months ago
2003
ACM
Numerous real-time applications such computer games or flight simulators require non-repetitive high-resolution texturing on large landscapes. We propose an algorithm which proce...
163
click to vote
ARITH
2003
IEEE
15 years 10 months ago
2003
IEEE
Studying floating point arithmetic, authors have shown that the implemented operations (addition, subtraction, multiplication, division and square root) can compute a result and a...
184
click to vote
CRITICAL
2005
15 years 8 months ago
2005
In traditional computer games, it is not uncommon for the game world to be inhabited by numerous computergenerated characters, Non-Player Characters (NPCs). In pervasive games, pl...
187
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
163
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on tr...