10263 search results - page 386 / 2053 » From Use Cases to System Operation Specifications |
236
click to vote
MLMI
2004
Springer
16 years 29 days ago
2004
Springer
Combining multiple information sources, typically from several data streams is a very promising approach, both in experiments and to some extend in various real-life applications. ...
173
click to vote
ISCA
1997
IEEE
15 years 11 months ago
1997
IEEE
Prefetching is one approach to reducing the latency of memory operations in modern computer systems. In this paper, we describe the Markov prefetcher. This prefetcher acts as an i...
239
click to vote
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Angelic nondeterminism can play an important role in program development. It simplifies specifications, for example in deriving programs with a refinement calculus; it is the form...
198
click to vote
VLDB
2002
ACM
15 years 7 months ago
2002
ACM
Deduplication, a key operation in integrating data from multiple sources, is a time-consuming, labor-intensive and domainspecific operation. We present our design of alias that us...
202
click to vote
SAB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Rats and other whiskered mammals are capable of making sophisticated sensory discriminations using tactile signals from their facial whiskers (vibrissae). As part of a pr...