Sciweavers

4894 search results - page 627 / 979
» Choices
Sort
View
DATE
1998
IEEE
100views Hardware» more  DATE 1998»
15 years 11 months ago
Combinational Verification based on High-Level Functional Specifications
We present a new combinational verification technique where the functional specification of a circuit under verification is utilized to simplify the verification task. The main id...
Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Bra...
DCC
1998
IEEE
15 years 11 months ago
Optimal Multiple Description Transform Coding of Gaussian Vectors
Multiple description coding (MDC) is source coding for multiple channels such that a decoder which receives an arbitrary subset of the channels may produce a useful reconstruction...
Vivek K. Goyal, Jelena Kovacevic
IDMS
1999
Springer
143views Multimedia» more  IDMS 1999»
15 years 11 months ago
Quality of Service Management for Teleteaching Applications Using the MPEG-4/DMIF
In the context of distributed multimedia applications involving multicast to a large number of users, a single quality of service level may not be appropriate for all participants....
Gregor von Bochmann, Zhen Yang
IFM
1999
Springer
15 years 11 months ago
Integration Problems in Telephone Feature Requirements
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
J. Paul Gibson, Geoff Hamilton, Dominique Mé...
IH
1999
Springer
15 years 11 months ago
On the Design of a Watermarking System: Considerations and Rationales
This paper summarizes considerations and rationales for the design of a watermark detector. In particular, we relate watermark detection to the problem of signal detection in the p...
Jean-Paul M. G. Linnartz, Geert Depovere, Ton Kalk...