Sciweavers

5606 search results - page 920 / 1122
» Advances in Information Science
Sort
View
CHI
2011
ACM
14 years 10 months ago
Evaluating the benefits of 3d stereo in modern video games
We present a study that investigates user performance benefits of 3D stereo in modern video games. Based on an analysis of several video games that are best suited for use with co...
Joseph J. LaViola Jr., Tad Litwiller
POPL
2011
ACM
14 years 9 months ago
Pick your contexts well: understanding object-sensitivity
ensitivity has emerged as an excellent context abstraction for points-to analysis in object-oriented languages. Despite its practical success, however, object-sensitivity is poorl...
Yannis Smaragdakis, Martin Bravenboer, Ondrej Lhot...
RECOMB
2011
Springer
14 years 9 months ago
Rich Parameterization Improves RNA Structure Prediction
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...
Shay Zakov, Yoav Goldberg, Michael Elhadad, Michal...
SIGMOD
2011
ACM
193views Database» more  SIGMOD 2011»
14 years 9 months ago
Fast checkpoint recovery algorithms for frequently consistent applications
Advances in hardware have enabled many long-running applications to execute entirely in main memory. As a result, these applications have increasingly turned to database technique...
Tuan Cao, Marcos Antonio Vaz Salles, Benjamin Sowe...
EMSOFT
2011
Springer
14 years 6 months ago
From boolean to quantitative synthesis
Motivated by improvements in constraint-solving technology and by the increase of routinely available computational power, partial-program synthesis is emerging as an effective a...
Pavol Cerný, Thomas A. Henzinger