Sciweavers

560 search results - page 81 / 112
» Multiplication by a Constant is Sublinear
Sort
View
ECAI
2000
Springer
14 years 15 days ago
Beat Tracking with Musical Knowledge
Abstract. When a person taps a foot in time with a piece of music, they are performing beat tracking. Beat tracking is fundamental to the understanding of musical structure, and th...
Simon Dixon, Emilios Cambouropoulos
CONCUR
1998
Springer
14 years 12 days ago
On Discretization of Delays in Timed Automata and Digital Circuits
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
Eugene Asarin, Oded Maler, Amir Pnueli
ECOOP
1997
Springer
14 years 10 days ago
Near Optimal Hierarchical Encoding of Types
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An efficient implementation of the type inclusion test plays an impo...
Andreas Krall, Jan Vitek, R. Nigel Horspool
ERCIMDL
1997
Springer
106views Education» more  ERCIMDL 1997»
14 years 10 days ago
Scalable Text Retrieval for Large Digital Libraries
It is argued that digital libraries of the future will contain terabyte-scale collections of digital text and that full-text searching techniques will be required to operate over c...
David Hawking
ISCA
1994
IEEE
129views Hardware» more  ISCA 1994»
14 years 8 days ago
Impact of Sharing-Based Thread Placement on Multithreaded Architectures
Multithreaded architectures context switch between instruction streams to hide memory access latency. Although this improves processor utilization, it can increase cache interfere...
Radhika Thekkath, Susan J. Eggers