4609 search results - page 221 / 922 » Automatic Generation of Sigma-Protocols |
181
click to vote
RTA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
177
click to vote
ISER
2000
Springer
15 years 10 months ago
2000
Springer
: Automatic model construction is a core problem in mobile robotics. To solve this task efficiently, we need a motion strategy to guide a robot equipped with a range sensor through...
181
click to vote
DCC
1995
IEEE
15 years 10 months ago
1995
IEEE
We present a fully automatic system for 2D model-based image coding of human faces for potential applications such as video telephony, database image compression, and face recogni...
157
click to vote
SERP
2003
15 years 7 months ago
2003
Abstract New algorithms are constantly developed in search of better or faster results. Many variants of code are often tried while searching for the best solution. When the number...
192
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Data sparseness is an ever dominating problem in automatic emotion recognition. Using artificially generated speech for training or adapting models could potentially ease this: t...