Sciweavers

4767 search results - page 222 / 954
» Moving between Contexts
Sort
View
WMPI
2004
ACM
16 years 2 days ago
A localizing directory coherence protocol
User-controllable coherence revives the idea of cooperation between software and hardware in an attempt to bridge the gap between efficient small-scale shared memory machines and m...
Collin McCurdy, Charles N. Fischer
INFOCOM
1998
IEEE
15 years 11 months ago
Threshold Autoregressive Models for VBR MPEG Video Traces
In this paper variable bit rate VBR Moving Picture Experts Group (MPEG) coded full-motion video traffic is modeled by a nonlinear time-series process. The threshold autoregressive ...
Bongseog Jang, Charles Thomson
TAPSOFT
1997
Springer
15 years 10 months ago
Traces of I/O-Automata in Isabelle/HOLCF
Abstract. This paper presents a formalization of nite and in nite sequences in domain theory carried out in the theorem prover Isabelle. The results are used to model the metatheor...
Olaf Müller, Tobias Nipkow
ICDM
2007
IEEE
176views Data Mining» more  ICDM 2007»
15 years 10 months ago
A Compact Representation of Spatio-Temporal Data
As technology advances we encounter more available data on moving objects, which can be mined to our benefit. In order to efficiently mine this large amount of data we propose an ...
Sigal Elnekave, Mark Last, Oded Maimon
ISMIR
2000
Springer
152views Music» more  ISMIR 2000»
15 years 10 months ago
Integrating Paper and Digital Music Information Systems
Active musicians generally rely on extensive personal paper-based music information retrieval systems containing scores, parts, compositions, and arrangements of published and han...
Karen Lin, Tim Bell