1965 search results - page 285 / 393 » On the analysis of interacting pushdown systems |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
One form of group support system that has received much attention from cross-disciplinary research is electronic brainstorming (EBS). While it is generally held that group cohesiv...
VRST
1997
ACM
14 years 1 months ago
1997
ACM
Developing virtual reality (VR) applications which enable actual work over a period of time requires optimization of the most basic interactions, such as object manipulation, so t...
ACMSE
2007
ACM
14 years 29 days ago
2007
ACM
CluVis, a prototype for visual monitoring and exploration of cluster and network metadata, is introducted. CluVis builds upon interactively added charts of cluster/network metadat...
STOC
1995
ACM
14 years 15 days ago
1995
ACM
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
LREC
2008
13 years 10 months ago
2008
Phonetic segmentation is the procedure which is used in many applications of speech processing, both as a subpart of automated systems or as the tool for an interactive work. In t...