Sciweavers

1875 search results - page 227 / 375
» A Calculus of Broadcasting Systems
Sort
View
103
Voted
EACL
1989
ACL Anthology
15 years 1 months ago
Computational Semantics Of Mass Terms
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
Jan Tore Lønning
ENTCS
2008
97views more  ENTCS 2008»
15 years 25 days ago
Meta-programming With Built-in Type Equality
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
Tim Sheard, Emir Pasalic
129
Voted
ICMCS
2005
IEEE
111views Multimedia» more  ICMCS 2005»
15 years 6 months ago
An audio spread-spectrum data hiding system with an informed embedding strategy adapted to a Wiener filtering based receiver
A particular application of audio data hiding systems and watermarking systems consists of using the audio signal as a transmission channel for binary information. The system shou...
Cléo Baras, Nicolas Moreau
80
Voted
MM
2003
ACM
94views Multimedia» more  MM 2003»
15 years 6 months ago
The video paper multimedia playback system
Video Paper is a prototype system for multimedia browsing, analysis, and replay. Key frames extracted from a video recording are printed on paper together with bar codes that allo...
Jamey Graham, Berna Erol, Jonathan J. Hull, Dar-Sh...
90
Voted
CSE
2009
IEEE
15 years 7 months ago
Privacy Requirements in Vehicular Communication Systems
Abstract—A primary goal of vehicular communication systems is the enhancement of traffic safety by equipping vehicles with wireless communication units to facilitate cooperative...
Florian Schaub, Zhendong Ma, Frank Kargl