699 search results - page 94 / 140 » Computation of Interprocedural Control Dependence |
111
Voted
ICIP
2006
IEEE
16 years 2 months ago
2006
IEEE
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
100
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
92
Voted
CHI
2007
ACM
16 years 26 days ago
2007
ACM
We performed an empirical study exploring people's interactions with an embodied conversational agent (ECA) while performing two tasks. Conditions varied with respect to 1) w...
84
Voted
CHI
2006
ACM
16 years 26 days ago
2006
ACM
This article introduces the OrthoZoom Scroller, a novel interaction technique that improves target acquisition in very large one-dimensional spaces. The OrthoZoom Scroller require...
SODA
2010
ACM
15 years 9 months ago
2010
ACM
Stochastic games are a natural model for open reactive processes: one player represents the controller and his opponent represents a hostile environment. The evolution of the syste...