2488 search results - page 310 / 498 » An improvement in formal verification |
228
click to vote
ICC
2008
IEEE
16 years 28 days ago
2008
IEEE
— Keystroke dynamics exhibit people’s behavioral features which are similar to hand signatures. A major problem hindering the large scale deployment of this technology is its h...
161
click to vote
IROS
2008
IEEE
16 years 27 days ago
2008
IEEE
— To achieve accurate and efficient interaction with humans, robot training is indispensable to make robot cooperate with different host. We are focusing on development of a huma...
172
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
In this paper we report on a study in which genetic algorithms are applied to the analysis of noisy time-series signals, which is related to the problem of analyzing the motion ch...
188
click to vote
ICCSA
2007
Springer
16 years 19 days ago
2007
Springer
A tripartite authenticated key agreement protocol is generally designed to accommodate the need of three specific entities in communicating over an open network with a shared secre...
190
click to vote
PCM
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a fast and robust sprite generation algorithm for MPEG-4 video coding. Our contributions consist of two aspects. Firstly, a fast and robust Global Motion Estima...