Sciweavers

4983 search results - page 774 / 997
» order 2008
Sort
View
APGV
2008
ACM
124views Visualization» more  APGV 2008»
15 years 6 months ago
Sensitivity to scene motion for phases of head yaws
In order to better understand how scene motion is perceived in immersive virtual environments and to provide guidelines for designing more useable systems, we measured sensitivity...
Jason Jerald, Tabitha C. Peck, Frank Steinicke, Ma...
APGV
2008
ACM
164views Visualization» more  APGV 2008»
15 years 6 months ago
Quantifying usability in secure graphics: assessing the user costs of protecting 3D content
There is an increasing need for methods for secure dissemination of interactive 3D graphics content, providing protection for valuable 3D models while still allowing them to be wi...
Jiajun Zhu, Jonathan Z. Bakdash, David Koller, Tho...
APN
2008
Springer
15 years 6 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
APPROX
2008
Springer
245views Algorithms» more  APPROX 2008»
15 years 6 months ago
Approximating Optimal Binary Decision Trees
Abstract. We give a (ln n + 1)-approximation for the decision tree (DT) problem. An instance of DT is a set of m binary tests T = (T1, . . . , Tm) and a set of n items X = (X1, . ....
Micah Adler, Brent Heeringa
APPROX
2008
Springer
89views Algorithms» more  APPROX 2008»
15 years 6 months ago
Quantum and Randomized Lower Bounds for Local Search on Vertex-Transitive Graphs
We study the problem of local search on a graph. Given a real-valued black-box function f on the graph's vertices, this is the problem of determining a local minimum of f--a v...
Hang Dinh, Alexander Russell