Sciweavers

4529 search results - page 695 / 906
» Position Based Cryptography
Sort
View
HUC
2004
Springer
15 years 12 months ago
Particle Filters for Location Estimation in Ubiquitous Computing: A Case Study
Location estimation is an important part of many ubiquitous computing systems. Particle filters are simulation-based probabilistic approximations which the robotics community has ...
Jeffrey Hightower, Gaetano Borriello
ICCS
2004
Springer
15 years 12 months ago
An Incremental Editor for Dynamic Hierarchical Drawing of Trees
We present an incremental tree editor based on algorithms for manipulating shape functions. The tree layout is hierarchical, left-to-right. Nodes of variable size and shape are sup...
David Workman, Margaret Bernard, Steven Pothoven
ICMI
2004
Springer
158views Biometrics» more  ICMI 2004»
15 years 12 months ago
The virtual haptic back for palpatory training
This paper discusses the Ohio University Virtual Haptic Back (VHB) project, including objectives, implementation, and initial evaluations. Haptics is the science of human tactile ...
Robert L. Williams II, Mayank Srivastava, John N. ...
IFIP
2004
Springer
15 years 12 months ago
The Simply-typed Pure Pattern Type System Ensures Strong Normalization
Pure Pattern Type Systems (P2 TS) combine in a unified setting the capabilities of rewriting and λ-calculus. Their type systems, adapted from Barendregt’s λ-cube, are especial...
Benjamin Wack
ISMIR
2004
Springer
138views Music» more  ISMIR 2004»
15 years 12 months ago
MusicBLAST - Gapped Sequence Alignment for MIR
We propose an algorithm, MusicBLAST, for approximate pattern search/matching on symbolic musical data. MusicBLAST is based on the BLAST algorithm, one of the most commonly used al...
Jürgen Kilian, Holger H. Hoos