Sciweavers

1875 search results - page 157 / 375
» A Calculus of Broadcasting Systems
Sort
View
BIRTHDAY
2004
Springer
15 years 9 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
140
Voted
ICASSP
2008
IEEE
15 years 10 months ago
Phonetic pronunciations for arabic speech-to-text systems
In this paper two aspects of generating and using phonetic Arabic dictionaries are described. First, the use of single pronunciation acoustic models in the context of Arabic large...
Frank Diehl, Mark J. F. Gales, Marcus Tomalin, Phi...
116
Voted
ASAP
2003
IEEE
114views Hardware» more  ASAP 2003»
15 years 9 months ago
An Efficient Disk-Array-Based Server Design for a Multicast Video Streaming System
Recently, a number of researchers have started to investigate new video-on-demand (VoD) architectures using batching, patching and periodic broadcasting. These architectures, comp...
P. H. Chan Patton, Jack Y. B. Lee
95
Voted
3DPVT
2002
IEEE
130views Visualization» more  3DPVT 2002»
15 years 8 months ago
ATTEST: Advanced Three-dimensional Television System Technologies
We describe the goals of the ATTEST project, which started in March 2002 as part of the Information Society Technologies (IST) programme, sponsored by the European Commission. In ...
André Redert, Marc Op de Beeck, Christoph F...
ADC
2008
Springer
153views Database» more  ADC 2008»
15 years 5 months ago
A Confidence Based Recognition System for TV Commercial Extraction
Automatic real-time recognition of TV commercials is an essential step for TV broadcast monitoring. It comprises two basic tasks: rapid detection of known commercials that are sto...
Yijun Li, Dianqing Zhang, Xiangmin Zhou, Jesse S. ...