Sciweavers

475 search results - page 95 / 95
» Reasoning About the Transfer of Control
Sort
View
TVCG
2010
205views more  TVCG 2010»
13 years 3 months ago
Estimation of Detection Thresholds for Redirected Walking Techniques
—In immersive virtual environments (IVEs) users can control their virtual viewpoint by moving their tracked head and by walking through the real world. Usually, movements in the ...
Frank Steinicke, Gerd Bruder, Jason Jerald, Harald...
SIGMOD
2011
ACM
299views Database» more  SIGMOD 2011»
12 years 7 months ago
Processing theta-joins using MapReduce
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...
Alper Okcan, Mirek Riedewald
IHI
2012
249views Healthcare» more  IHI 2012»
12 years 12 days ago
An intelligent web-based decision support tool for enhancing asthma guideline adherence
Asthma is a leading chronic disease of children and currently affects about 6.2 million (8.5%) children in the United States. National Asthma Education and Prevention Program (NAE...
Jinbo Bi, Arun Abraham
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
12 years 11 days ago
Proving Reachability Using FShell - (Competition Contribution)
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
EUROSYS
2010
ACM
13 years 11 months ago
PUSH: A Dataflow Shell
The deluge of huge data sets such as those provided by sensor networks, online transactions, and the web provide exciting opportunities for data analysis. The scale of the data ...
Noah Evans, Eric Van Hensbergen