535 search results - page 58 / 107 » Termination of Abstract Reduction Systems |
154
Voted
TIT
2008
15 years 6 months ago
2008
Abstract--This letter considers the average complexity of maximum-likelihood (ML) decoding of convolutional codes. ML decoding can be modeled as finding the most probable path take...
181
click to vote
ESANN
1998
15 years 7 months ago
1998
Abstract. In this paper, we focus on a novel NN/HMM architecture for continuous speech recognition. The architecture incorporates a neural feature extraction to gain more discrimin...
169
Voted
VL
1996
IEEE
15 years 10 months ago
1996
IEEE
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
198
click to vote
MACH
1993
15 years 7 months ago
1993
This paper describes the architecture and implementation of MIKE - a version of the IK distributed persistent object-oriented programming platform built on top of the Mach microke...
157
click to vote
QEST
2007
IEEE
16 years 11 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...