10284 search results - page 1767 / 2057 » Designing for nomadic work |
141
click to vote
WWW
2010
ACM
15 years 8 months ago
2010
ACM
Selecting and presenting content culled from multiple heterogeneous and physically distributed sources is a challenging task. The exponential growth of the web data in modern time...
146
click to vote
ISMIR
2000
Springer
15 years 8 months ago
2000
Springer
One major task of a digital music library (DML) is to provide techniques to locate a queried musical pattern in all pieces of music in the database containing that pattern. For a ...
126
click to vote
SPIN
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
178
Voted
DCC
1995
IEEE
15 years 8 months ago
1995
IEEE
— Many image compression techniques require the quantization of multiple vector sources with significantly different distributions. With vector quantization (VQ), these sources ...
171
click to vote
ISCA
1995
IEEE
15 years 8 months ago
1995
IEEE
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...