9997 search results - page 113 / 2000 » The case for crowd computing |
118
click to vote
DAC
1997
ACM
15 years 4 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...
102
Voted
FPLAY
2008
15 years 2 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...
94
Voted
MOC
2002
15 years 14 days 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 11 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...
114
Voted
ICNC
2010
Springer
14 years 11 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...