Sciweavers

1382 search results - page 212 / 277
» Procedural Generation of Roads
Sort
View
GECCO
1999
Springer
15 years 2 months ago
An Immune System Approach to Scheduling in Changing Environments
This paper describes the application of an arti cial immune system, AIS, model to a scheduling application, in which sudden changes in the scheduling environment require the rap...
Emma Hart, Peter Ross
KR
1998
Springer
15 years 2 months ago
Specifying Transactions for Extended Abduction
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
Katsumi Inoue, Chiaki Sakama
MICRO
1997
IEEE
76views Hardware» more  MICRO 1997»
15 years 2 months ago
A Framework for Balancing Control Flow and Predication
Predicated execution is a promising architectural feature for exploiting instruction-level parallelism in the presence of control flow. Compiling for predicated execution involve...
David I. August, Wen-mei W. Hwu, Scott A. Mahlke
SIGGRAPH
1997
ACM
15 years 2 months ago
Virtual voyage: interactive navigation in the human colon
Virtual colonoscopy is a non-invasive computerized medical procedure for examining the entire colon to detect polyps. We present an interactive virtual colonoscopy method, which u...
Lichan Hong, Shigeru Muraki, Arie E. Kaufman, Dirk...
ICCAD
1996
IEEE
112views Hardware» more  ICCAD 1996»
15 years 2 months ago
GRASP - a new search algorithm for satisfiability
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
João P. Marques Silva, Karem A. Sakallah