5188 search results - page 135 / 1038 » Information Flow in Interactive Systems |
153
click to vote
DAGSTUHL
2010
15 years 5 months ago
2010
We have adopted a numerical method from computational fluid dynamics, the Lattice Boltzmann Method (LBM), for real-time simulation and visualization of flow and amorphous phenomen...
166
click to vote
TACS
1994
Springer
15 years 8 months ago
1994
Springer
Abstract Interpretation for Control-Flow Analysis Yan Mei Tang and Pierre Jouvelot CRI, Ecole des Mines de Paris, France Effect systems and abstract interpretation are two methods ...
141
click to vote
HIM
1997
Springer
15 years 8 months ago
1997
Springer
The application of information retrieval techniques in interactive environments requires systems capable of efficiently processing vague queries. To reach reasonable response tim...
124
click to vote
INTERACT
2007
15 years 5 months ago
2007
This paper describes DeskJockey, a system to provide users with additional display space by projecting information on passive physical surfaces in the environment. The current Desk...
149
click to vote
RV
2010
Springer
15 years 2 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...