9997 search results - page 113 / 2000 » The case for crowd computing |
DAC
1997
ACM
15 years 1 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
FPLAY
2008
14 years 11 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...
MOC
2002
14 years 9 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...
ICIDS
2010
Springer
14 years 8 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...
ICNC
2010
Springer
14 years 8 months ago
2010
Springer
—This paper combines artificial neural networks (ANN), fuzzy optimization and time-series econometric models in one unified framework to form a hybrid intelligent early warning...