3552 search results - page 696 / 711 » Proof theory in the abstract |
126
click to vote
INFOCOM
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract—This paper presents a model and theory for streaming layered video. We model the bandwidth available to the streaming application as a stochastic process whose statistic...
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. Rent's rule and related concepts of connectivity such as dimensionality, line-length distributions, and separators have found great use in fundamental studies of di ...
115
click to vote
CRYPTO
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The braid groups are infinite non-commutative groups naturally arising from geometric braids. The aim of this article is twofold. One is to show that the braid groups ca...
126
click to vote
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
The rapid progress in high-performance microprocessor design has made it di cult to adapt real-time scheduling results to new models of microprocessor hardware, thus leaving an un...
110
click to vote
FOSSACS
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. A strong (L) logic programming language ([14, 15]) is given by two subclasses of formulas (programs and goals) of the underlying logic L, provided that: firstly, any pro...