Sciweavers

1750 search results - page 211 / 350
» Research challenges of autonomic computing
Sort
View
JCAL
2010
152views more  JCAL 2010»
14 years 11 months ago
Micro-adaptivity: protecting immersion in didactically adaptive digital educational games
The idea of utilizing the rich potential of today's computer games for educational purposes excites educators, scientists and technicians. Despite the significant hype over di...
Michael D. Kickmeier-Rust, Dietrich Albert
FAC
2006
122views more  FAC 2006»
15 years 4 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
KDD
2009
ACM
296views Data Mining» more  KDD 2009»
16 years 5 months ago
Anonymizing healthcare data: a case study on the blood transfusion service
: Gaining access to high-quality health data is a vital requirement to informed decision making for medical practitioners and pharmaceutical researchers. Driven by mutual benefits ...
Noman Mohammed, Benjamin C. M. Fung, Patrick C. K....
VISUALIZATION
2003
IEEE
15 years 9 months ago
Producing High Quality Visualizations of Large-Scale Simulations
This paper describes the work of a team of researchers in computer graphics, geometric computing, and civil engineering to produce a visualization of the September 2001 attack on ...
Voicu Popescu, Chris Hoffmann, Sami Kilic, Mete So...
SIGMOD
2003
ACM
136views Database» more  SIGMOD 2003»
16 years 4 months ago
A Characterization of the Sensitivity of Query Optimization to Storage Access Cost Parameters
Most relational query optimizers make use of information about the costs of accessing tuples and data structures on various storage devices. This information can at times be off b...
Frederick Reiss, Tapas Kanungo