1302 search results - page 46 / 261 » From Liveness to Promptness |
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
We report on our development of a real-time system to deliver sports video highlights of a live game to mobile videophones over existing GPRS networks. To facilitate real-time ana...
TPHOL
2005
IEEE
14 years 1 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
BIRTHDAY
2005
Springer
14 years 1 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
VoIP applications require the ability to identify speakers in real time. This paper presents Compressed Speaker Recognition (CSR), an innovative approach to perform speaker recogn...
ITICSE
2003
ACM
14 years 1 months ago
2003
ACM
The authors present observations from using two modes of teaching undergraduate computer architecture. Two sections were taught differently: one section was taught using a traditi...