7109 search results - page 408 / 1422 » Process Algebra with Combinators |
136
click to vote
DAGM
2009
Springer
16 years 1 months ago
2009
Springer
We adapt the well-known face detection algorithm of Viola and Jones [1] to work on the range and intensity data from a time-offlight camera. The detector trained on the combined d...
153
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a technique for denoising speech using nonnegative matrix factorization (NMF) in combination with statistical speech and noise models. We compare our new technique to s...
161
click to vote
SIPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we present the VLSI implementation of a high-throughput enhanced Max-log-MAP processor that supports both single-binary (SB) and double-binary (DB) convolutional tur...
156
click to vote
ICCBR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...
196
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes three program transformations that extend the scope of model checkers for Java programs to include distributed programs, i.e., multi-process programs...