4693 search results - page 802 / 939 » Verifying Hybrid Systems |
121
Voted
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Speaker verification is a technology of verifying the claimed identity of a speaker based on the speech signal from the speaker (voice print). To learn the score of similarity be...
101
click to vote
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Some (k, n)-threshold image secret sharing schemes encrypt the secret image into n noise-like shadow images with size 1/k times that of the original secret image. The small size o...
115
Voted
ICMCS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper considers extractive summarization of Chinese spoken documents. In contrast to conventional approaches, we attempt to deal with the extractive summarization problem und...
111
Voted
ICRA
2007
IEEE
15 years 7 months ago
2007
IEEE
— In this paper, we investigate the operation of the Queue-formation structure (or Q-structure) in multi-robot teams with limited communications. Information flow is divided int...
91
Voted
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
A SoC design for applications of OMA DRM 2 Agent in mobile phones is presented in this paper, which has been verified by Altera Stratix EP1S80B956C6 FPGA development board. Several...