Sciweavers

1788 search results - page 56 / 358
» Model Theory for Process Algebra
Sort
View
MFDBS
1991
125views Database» more  MFDBS 1991»
15 years 4 months ago
A Relational Algebra for Complex Objects Based on Partial Information
We study an approach to relational databases which treats relations not as subsets of a Cartesian product but as subsets of some domain { a partially ordered space of descriptions...
Leonid Libkin
RP
2009
Springer
110views Control Systems» more  RP 2009»
15 years 7 months ago
Formalisms for Specifying Markovian Population Models
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
Thomas A. Henzinger, Barbara Jobstmann, Verena Wol...
126
Voted
AUTOMATICA
2008
139views more  AUTOMATICA 2008»
15 years 22 days ago
Structured low-rank approximation and its applications
Fitting data by a bounded complexity linear model is equivalent to low-rank approximation of a matrix constructed from the data. The data matrix being Hankel structured is equival...
Ivan Markovsky
105
Voted
ASPDAC
2006
ACM
127views Hardware» more  ASPDAC 2006»
15 years 6 months ago
Memory size computation for multimedia processing applications
– In real-time multimedia processing systems a very large part of the power consumption is due to the data storage and data transfer. Moreover, the area cost is often largely dom...
Hongwei Zhu, Ilie I. Luican, Florin Balasa
95
Voted
COMCOM
1998
95views more  COMCOM 1998»
15 years 9 days ago
Correlation properties of the token leaky bucket departure process
In this paper we focus on the behavior of the token leaky bucket mechanism with respect to second-order statistics of the departure process under various correlated cell arrival a...
Kenneth Mitchell, Appie van de Liefvoort, Jerry Pl...