Sciweavers

2695 search results - page 363 / 539
» The Complexity of Forecast Testing
Sort
View
CIG
2005
IEEE
15 years 3 months ago
Building Reactive Characters for Dynamic Gaming Environments
Interactive computer games are widely seen as a killer application domain for Artificial Intelligence (AI) [8]. Quite apart from the significant size of the games market in terms...
Peter Blackburn, Barry O'Sullivan
DSRT
2005
IEEE
15 years 3 months ago
A Simple Distributed Simulation Architecture for Emergency Response Exercises
This paper describes a simple distributed simulation for support of emergency response exercises. The simulation, called the Immersive Synthetic Environment for Exercises (ISEE), ...
Dennis McGrath, Amy Hunt, Marion Bates
83
Voted
EH
2005
IEEE
171views Hardware» more  EH 2005»
15 years 3 months ago
Implementation Results for a Fault-Tolerant Multicellular Architecture Inspired by Endocrine Communication
The hybrid redundancy structure found at the cellular level of higher animals provides complex organism with the three key features of a reliability-engineered system: fault toler...
Andrew J. Greensted, Andy M. Tyrrell
82
Voted
FOCS
2005
IEEE
15 years 3 months ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
GLVLSI
2005
IEEE
122views VLSI» more  GLVLSI 2005»
15 years 3 months ago
Thermal aware cell-based full-chip electromigration reliability analysis
A hierarchical scheme with cells and modules is crucial for managing design complexity during a large integrated circuit design. We present a methodology for thermal aware cell-ba...
Syed M. Alam, Donald E. Troxel, Carl V. Thompson