1965 search results - page 86 / 393 » On the analysis of interacting pushdown systems |
BC
2008
13 years 9 months ago
2008
We propose a novel model of visual contrast measurement based on segregated ON and OFF pathways. Two driving forces have shaped our investigation: (1) establishing a mechanism sele...
SPIN
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
TVCG
2008
13 years 8 months ago
2008
Interactive history tools, ranging from basic undo and redo to branching timelines of user actions, facilitate iterative forms of interaction. In this paper, we investigate the des...
CLUSTER
2003
IEEE
14 years 2 months ago
2003
IEEE
The use of a cluster for distributed performance analysis of parallel trace data is discussed. We propose an analysis architecture that uses multiple cluster nodes as a server to ...
DOCENG
2010
ACM
13 years 10 months ago
2010
ACM
Filling out document forms distributed by email or hosted on the Web is still problematic and usually requires a printer and scanner. Users commonly download and print forms, fill...