460 search results - page 8 / 92 » Abstract and Discrete Modeling of Spatio-Temporal Data Types |
112
click to vote
IRREGULAR
1997
Springer
15 years 7 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
142
click to vote
CN
2002
15 years 3 months ago
2002
Abstract--We study in this paper a TCP-like linear-increase multiplicative-decrease flow control mechanism. We consider congestion signals that arrive in batches according to a Poi...
117
click to vote
KDD
2004
ACM
16 years 3 months ago
2004
ACM
There is a notable interest in extending probabilistic generative modeling principles to accommodate for more complex structured data types. In this paper we develop a generative ...
112
click to vote
VLDB
1987
ACM
15 years 6 months ago
1987
ACM
The design of the POSTGRES data model is described. The data model is a relational model that has been extended with abstract data types including user-defined operators and proce...
132
click to vote
ESOP
2008
Springer
15 years 5 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...