7049 search results - page 1224 / 1410 » Data Abstraction for CSP-OZ |
267
click to vote
SIGOPS
1998
15 years 6 months ago
1998
Abstract: The undergraduate operating systems course can provide students with a valuable introduction to empirical testing and experimentation. This paper announces the availabili...
148
click to vote
TODAES
1998
15 years 6 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
203
Voted
TASLP
2002
15 years 6 months ago
2002
Abstract--This paper explores packet loss recovery for automatic speech recognition (ASR) in spoken dialog systems, assuming an architecture in which a lightweight client communica...
155
click to vote
TIP
2002
15 years 6 months ago
2002
Abstract--The main contribution of this work is a new paradigm for image representation and image compression. We describe a new multilayered representation technique for images. A...
150
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract--In blind and group-blind multiuser detection, different detectors can be designed using either the sample data covariance matrix directly or its eigencomponents. Due to f...