21324 search results - page 229 / 4265 » Making the case for computing |
115
Voted
DIAGRAMS
2000
Springer
15 years 8 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...
137
click to vote
AINTEC
2006
Springer
15 years 7 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...
128
click to vote
FPLAY
2008
15 years 5 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...
132
click to vote
MOC
2002
15 years 3 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...
125
click to vote
ICIDS
2010
Springer
15 years 2 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...