7109 search results - page 1359 / 1422 » Process Algebra with Combinators |
114
click to vote
ITC
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper addresses the problem of efficiently and accurately generating two-vector tests for crosstalk induced effects, such as pulses, signal speedup and slowdown, in digital c...
138
click to vote
KDD
1998
ACM
15 years 8 months ago
1998
ACM
This paper describes our work in learning online models that forecast real-valued variables in a high-dimensional space. A 3GB database was collected by sampling 421 real-valued s...
139
Voted
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
144
Voted
SIGDOC
1997
ACM
15 years 8 months ago
1997
ACM
This paper describes the strengths and weaknesses of two usability assessment methods frequently applied to web sites. It uses case histories of WWW usability studies conducted by...
119
Voted
COLT
1997
Springer
15 years 7 months ago
1997
Springer
We relate two problems that have been explored in two distinct communities. The first is the problem of combining expert advice, studied extensively in the computational learning...