4609 search results - page 623 / 922 » Automatic Generation of Sigma-Protocols |
178
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper investigates spoken term detection (STD) from audio recordings of course lectures obtained from an existing media repository. STD is performed from word lattices genera...
193
click to vote
DEXA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
226
click to vote
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a new generative model, and a new image similarity kernel based on a linked hierarchy of probabilistic segmentations. The model is used to efficiently segment ...
147
click to vote
GRC
2008
IEEE
15 years 6 months ago
2008
IEEE
Research on auto-harmonizing a melody (e.g. Chinese folksong) with piano accompaniment is trying to build up a computer system which generates a 3voice music including piano left-...
176
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...