Sciweavers

13895 search results - page 2371 / 2779
» Exploring
Sort
View
141
Voted
CHI
2001
ACM
16 years 5 months ago
Reaching movements to augmented and graphic objects in virtual environments
This work explores how the availability of visual and haptic feedback affects the kinematics of reaching performance in a tabletop virtual environment. Eight subjects performed re...
Andrea H. Mason, Masuma A. Walji, Elaine J. Lee, C...
POPL
2008
ACM
16 years 5 months ago
Boomerang: resourceful lenses for string data
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pier...
POPL
2008
ACM
16 years 5 months ago
Demand-driven alias analysis for C
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
Xin Zheng, Radu Rugina
POPL
2008
ACM
16 years 5 months ago
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
Walter Fontana
RECOMB
2006
Springer
16 years 5 months ago
A New Approach to Protein Identification
Advances in tandem mass-spectrometry (MS/MS) steadily increase the rate of generation of MS/MS spectra and make it more computationally challenging to analyze such huge datasets. A...
Nuno Bandeira, Dekel Tsur, Ari Frank, Pavel A. Pev...
« Prev « First page 2371 / 2779 Last » Next »