Sciweavers

3690 search results - page 482 / 738
» Computation with classical sequents
Sort
View
148
Voted
HAPTICS
2010
IEEE
15 years 11 months ago
Haptic/VR Assessment Tool for Fine Motor Control
Abstract. The Nine Hole Peg Test (NHPT) is routinely used in clinical environments to evaluate a patient's fine hand control. A physician measures the total time required to i...
Christophe Emery, Evren Samur, Olivier Lambercy, H...
HIPC
1999
Springer
15 years 11 months ago
High Performance Data Mining
Abstract. Recent times have seen an explosive growth in the availability of various kinds of data. It has resulted in an unprecedented opportunity to develop automated data-driven ...
Vipin Kumar, Jaideep Srivastava
CGI
1998
IEEE
15 years 11 months ago
Deformable Surfaces for Feature Based Indirect Volume Rendering
In this paper we present an indirect volume visualization method, based on the deformable surface model, which is a three dimensional extension of the snake segmentation method. I...
Christoph Lürig, Leif Kobbelt, Thomas Ertl
ICS
1999
Tsinghua U.
15 years 11 months ago
Classifying load and store instructions for memory renaming
Memory operations remain a significant bottleneck in dynamically scheduled pipelined processors, due in part to the inability to statically determine the existence of memory addr...
Glenn Reinman, Brad Calder, Dean M. Tullsen, Gary ...
IH
1999
Springer
15 years 11 months ago
A Stochastic Approach to Content Adaptive Digital Image Watermarking
This paper presents a new stochastic approach which can be applied with di erent watermark techniques. The approach is based on the computation of a Noise Visibility Function NVF...
Sviatoslav Voloshynovskiy, Alexander Herrigel, Naz...