Sciweavers

1200 search results - page 165 / 240
» Marked Ancestor Problems
Sort
View
115
Voted
ISMIR
2004
Springer
141views Music» more  ISMIR 2004»
15 years 10 months ago
Causal Tempo Tracking of Audio
We introduce a causal approach to tempo tracking for musical audio signals. Our system is designed towards an eventual real-time implementation; requiring minimal highlevel knowle...
Matthew E. P. Davies, Mark D. Plumbley
154
Voted
ISW
2004
Springer
15 years 10 months ago
Model-Checking Access Control Policies
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobben...
134
Voted
MATA
2004
Springer
149views Communications» more  MATA 2004»
15 years 10 months ago
Detecting and Proving Manipulation Attacks in Mobile Agent Systems
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
Oscar Esparza, Miguel Soriano, Jose L. Muño...
ARITH
2003
IEEE
15 years 10 months ago
The Interval Logarithmic Number System
This paper introduces the Interval Logarithmic Number System (ILNS), in which the Logarithmic Number System (LNS) is used as the underlying number system for interval arithmetic. ...
Mark G. Arnold, Jesus Garcia, Michael J. Schulte
120
Voted
ARITH
2003
IEEE
15 years 10 months ago
SRT Division Algorithms as Dynamical Systems
SRT division, as it was discovered in the late 1950s represented an important improvement in the speed of division algorithms for computers at the time. A variant of SRT division ...
Mark McCann, Nicholas Pippenger