Sciweavers

2775 search results - page 247 / 555
» Visualizing abstract events
Sort
View
VISUALIZATION
2005
IEEE
16 years 5 days ago
Volume rendering of smoke propagation CFD data
The evacuation of buildings in the event of a fire requires careful planning of ventilation and evacuation routes during early architectural design stages. Different designs are ...
Oliver Staubli, Christian Sigg, Ronald Peikert, Ma...
CHI
2004
ACM
16 years 7 months ago
Telemurals: linking remote spaces with social catalysts
ls is an abstract audio-video installation that seeks to initiate and sustain interaction between and within two remote spaces. Our goal is to improve the social aspects of casual...
Karrie Karahalios, Judith S. Donath
TACAS
2004
Springer
139views Algorithms» more  TACAS 2004»
15 years 12 months ago
Error Explanation with Distance Metrics
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
Alex Groce
B
2007
Springer
15 years 10 months ago
Security Policy Enforcement Through Refinement Process
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
Nicolas Stouls, Marie-Laure Potet
CICLING
2008
Springer
15 years 8 months ago
Deep Lexical Semantics
In the project we describe, we have taken a basic core of about 5000 synsets in WordNet that are the most frequently used, and we have categorized these into sixteen broad categori...
Jerry R. Hobbs