Sciweavers

1503 search results - page 165 / 301
» Designing situations
Sort
View
VRST
2006
ACM
15 years 11 months ago
The impact of immersive virtual reality displays on the understanding of data visualization
This paper presents evidence that situational awareness in a visualization of data benefits from immersive, virtual reality display technology because such displays appear to supp...
Ahmed Bayyari, Mihail Eduard Tudoreanu
IUI
2005
ACM
15 years 10 months ago
Metafor: visualizing stories as code
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
Hugo Liu, Henry Lieberman
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 10 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
128
Voted
GECCO
2005
Springer
15 years 10 months ago
Optimizing parameters of a mobile ad hoc network protocol with a genetic algorithm
Mobile ad hoc networks are typically designed and evaluated in generic simulation environments. However the real conditions in which these networks are deployed can be quite diff...
David J. Montana, Jason Redi
129
Voted
SIGCSE
2010
ACM
145views Education» more  SIGCSE 2010»
15 years 10 months ago
How do computing faculty adopt curriculum innovations?: the story from instructors
This paper presents the findings of an exploratory, qualitative study revealing computing instructors’ experience in adopting curriculum innovations. We interviewed eight instru...
Lijun Ni, Tom McKlin, Mark Guzdial