21324 search results - page 229 / 4265 » Making the case for computing |
149
click to vote
DIAGRAMS
2000
Springer
15 years 11 months ago
2000
Springer
This paper gives a brief overview of FG, a formal system for doing Euclidean geometry whose basic syntactic elements are geometric diagrams, and which has been implimentented as th...
169
click to vote
AINTEC
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we will build a fault-tolerant network using a Multiple Care-of Addresses registration implementation on NEPL (NEMO Platform for Linux) for the GNU/Linux Operating S...
154
click to vote
FPLAY
2008
15 years 8 months ago
2008
This paper is a call for research in the field of game engine architecture and design, a more comprehensive and thorough understanding of which we consider to be essential for its...
165
click to vote
MOC
2002
15 years 6 months ago
2002
A new upper bound is provided for the L-norm of the difference between the viscosity solution of a model steady state Hamilton-Jacobi equation, u, and any given approximation, v. T...
154
click to vote
ICIDS
2010
Springer
15 years 5 months ago
2010
Springer
The author summarizes his experience creating a story-based simulation from raw documentary footage taken in the aftermath of the 2010 earthquake in Haiti. The use of Propp’s typ...