1418 search results - page 163 / 284 » A Theory of Stream Queries |
HYBRID
2009
Springer
14 years 4 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...
CL
2000
Springer
13 years 9 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
TIT
1998
13 years 8 months ago
1998
— This paper reviews two streams of development, from the 1940’s to the present, in signal detection theory: the structure of the likelihood ratio for detecting signals in nois...
ICIP
2004
IEEE
14 years 10 months ago
2004
IEEE
After the emergence of numerous Internet streaming applications, rate-distortion (R-D) modeling of scalable video encoders has become an important issue. In this paper, we examine...
COMPGEOM
2005
ACM
13 years 11 months ago
2005
ACM
We initiate the study of exact geometric algorithms that require limited storage and make only a small number of passes over the input. Fundamental problems such as lowdimensional...