1875 search results - page 176 / 375 » A Calculus of Broadcasting Systems |
127
click to vote
ECEASST
2008
15 years 3 months ago
2008
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
177
click to vote
LICS
1991
IEEE
15 years 7 months ago
1991
IEEE
d Abstract) Maria Luisa Bonet∗ Samuel R. Buss∗ Department of Mathematics Department of Mathematics U.C. Berkeley U.C. San Diego Berkeley, California 94720 La Jolla, California ...
136
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Using ubiquitous devices such as multifunctional cellular phones and PDAs, we can build a large-scale navigation system for evacuation in the metropolis. Although current navigati...
121
click to vote
UIST
1995
ACM
15 years 7 months ago
1995
ACM
We describe the Informediatm News-on-Demand system. News-on-Demand is an innovative example of indexing and searching broadcast video and audio material by text content. The fully...
147
click to vote
LOGCOM
2010
14 years 10 months ago
2010
Gentzen systems are introduced for Spinks and Veroff's substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has b...