Sciweavers

4078 search results - page 145 / 816
» The COMPASS Location System
Sort
View
ISMIR
2004
Springer
206views Music» more  ISMIR 2004»
15 years 9 months ago
Tempo And Beat Estimation Of Musical Signals
Tempo estimation is fundamental in automatic music processing and in many multimedia applications. This paper presents an automatic tempo tracking system that processes audio reco...
Miguel Alonso, Gaël Richard, Bertrand David
ISMIS
2000
Springer
15 years 8 months ago
Automatic Semantic Header Generator
Indexing file systems is a powerful means of helping users locate documents, software, and other types of data among large repositories. In environments that contain many differen...
Bipin C. Desai, Sami S. Haddad, Abdelbaset Ali
JNW
2007
102views more  JNW 2007»
15 years 4 months ago
Supporting Privacy Policies in a Publish-Subscribe Substrate for Pervasive Environments
Abstract— A location tracking sensor network is being deployed in several buildings at the University of Michigan to help explore issues in design of pervasive environments. Mana...
Lukasz Opyrchal, Atul Prakash, Amit Agrawal
ESORICS
2012
Springer
13 years 6 months ago
Secure Proximity Detection for NFC Devices Based on Ambient Sensor Data
In certain applications, it is important for a remote server to securely determine whether or not two mobile devices are in close physical proximity. In particular, in the context ...
Tzipora Halevi, Di Ma, Nitesh Saxena, Tuo Xiang
SPIN
2012
Springer
13 years 6 months ago
Counterexample Explanation by Anomaly Detection
Since counterexamples generated by model checking tools are only symptoms of faults in the model, a significant amount of manual work is required in order to locate the fault that...
Stefan Leue, Mitra Tabaei Befrouei