Sciweavers

3657 search results - page 526 / 732
» A Study of Practical Deduplication
Sort
View
HHCI
2000
15 years 9 months ago
Implicit Accuracy Constraints in Two-Fingered Grasps of Virtual Objects with Haptic Feedback
Using virtual objects that provided haptic feedback we studied two-fingered movements of reaching to grasp and lift an object. These reach-grasp-lift movements were directed to ob...
Frank E. Pollick, Chris Chizk, Charlotte Hager-Ros...
ICALP
2000
Springer
15 years 9 months ago
Efficient Verification Algorithms for One-Counter Processes
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
Antonín Kucera
IEAAIE
2000
Springer
15 years 9 months ago
Information Management and Process Improvement Using Data Mining Techniques
This paper describes a computer component manufacturing scenario which concentrates on the application of data mining techniques to improve information management and process impr...
W. M. Gibbons, Mervi Ranta, T. M. Scott, Martti M&...
OOPSLA
2000
Springer
15 years 9 months ago
Scalable propagation-based call graph construction algorithms
Propagation-based call graph construction algorithms have been studied intensively in the 1990s, and differ primarily in the number of sets that are used to approximate run-time v...
Frank Tip, Jens Palsberg
PKC
2000
Springer
132views Cryptology» more  PKC 2000»
15 years 9 months ago
The Composite Discrete Logarithm and Secure Authentication
For the two last decades, electronic authentication has been an important topic. The first applications were digital signatures to mimic handwritten signatures for digital document...
David Pointcheval