Sciweavers

4270 search results - page 600 / 854
» Implementation of interactive poster
Sort
View
TACAS
2009
Springer
136views Algorithms» more  TACAS 2009»
15 years 11 months ago
Path Feasibility Analysis for String-Manipulating Programs
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
Nikolaj Bjørner, Nikolai Tillmann, Andrei V...
HAPTICS
2009
IEEE
15 years 11 months ago
Visual versus haptic progressive guidance for training in a virtual dynamic task
The objective of this work is to demonstrate that progressive haptic guidance can accelerate and improve motor task training outcomes over visual or practice-only methods in a tra...
Joel C. Huegel, Marcia Kilchenman O'Malley
HAPTICS
2009
IEEE
15 years 11 months ago
Design of a new fMRI compatible haptic interface
In this paper, we present the design of a new fMRI compatible haptic interface with 3DOFs, based on electrical DC actuation, for the study of brain mechanisms of human motor contr...
Siqiao Li, Antonio Frisoli, Luigi Federico Borelli...
HAPTICS
2009
IEEE
15 years 11 months ago
ShiverPad: A device capable of controlling shear force on a bare finger
We discuss the theory, design, and performance of a flat-panel tactile display capable of controlling shear force on a finger. In previous research a TPaD variable friction devi...
Erik C. Chubb, J. Edward Colgate, Michael A. Peshk...
SP
2009
IEEE
144views Security Privacy» more  SP 2009»
15 years 11 months ago
Native Client: A Sandbox for Portable, Untrusted x86 Native Code
This paper describes the design, implementation and evaluation of Native Client, a sandbox for untrusted x86 native code. Native Client aims to give browser-based applications the...
Bennet Yee, David Sehr, Gregory Dardyk, J. Bradley...