4609 search results - page 25 / 922 » Automatic Generation of Sigma-Protocols |
128
Voted
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We describe a system for automatically extracting dynamics of tongue gestures from ultrasound images of the tongue using translational deep belief networks (tDBNs). In tDBNs, a jo...
166
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We present supervised approaches for detecting speaker roles and agreement/disagreement between speakers in broadcast conversation shows in three languages: English, Arabic, and M...
197
Voted
SCP
2011
14 years 11 months ago
2011
Active libraries can be defined as libraries which play an active part in the compilation, in particular, the optimisation of their client code. This paper explores the implement...
166
click to vote
AEI
1999
15 years 4 months ago
1999
Design synthesis represents a highly complex task in the field of industrial design. The main difficulty in automating it is the definition of the design and performance spaces, i...
146
click to vote
TPDS
2002
15 years 4 months ago
2002
In this paper, an efficient algorithm to implement loop partitioning is introduced and evaluated. We start from results of Agarwal et al. [1] whose aim is to minimize the number of...