Sciweavers

638 search results - page 59 / 128
» Quality of Name Resolution in the Domain Name System
Sort
View
VMV
2003
146views Visualization» more  VMV 2003»
13 years 9 months ago
ADB-Trees: Controlling the Error of Time-Critical Collision Detection
We present a novel framework for hierarchical collision detection that can be applied to virtually all bounding volume (BV) hierarchies. It allows an application to trade quality ...
Jan Klein, Gabriel Zachmann
SIGOPS
2010
162views more  SIGOPS 2010»
13 years 6 months ago
Visual and algorithmic tooling for system trace analysis: a case study
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
Wim De Pauw, Steve Heisig
ATAL
2005
Springer
13 years 9 months ago
Tactical coordination in no-press diplomacy
While there is a broad theoretic foundation for creating computational players for two-player games, such as Chess, the multi-player domain is not as well explored. We make an att...
Stefan J. Johansson, Fredrik Håård
ENTCS
2007
100views more  ENTCS 2007»
13 years 7 months ago
Lightweight Static Capabilities
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
Oleg Kiselyov, Chung-chieh Shan
ICALT
2011
IEEE
12 years 7 months ago
Tailoring Serious Games with Adaptive Pedagogical Scenarios: A Serious Game for Persons with Cognitive Disabilities
—this work addresses issues relevant to the project CLES (Cognitive and Linguistic Element Stimulation) which aims to develop a serious game for diagnosis and training of childre...
Aarij Mahmood Hussaan, Karim Sehaba, Alain Mille