1362 search results - page 66 / 273 » Means, Correlations and Bounds |
150
click to vote
FORTE
2001
15 years 7 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
128
click to vote
PDPTA
2004
15 years 7 months ago
2004
We present the MBRAM model for static evaluation of the performance of memory-bound programs. The MBRAM model predicts the actual running time of a memory-bound program directly fr...
240
click to vote
HYBRID
2011
Springer
14 years 5 months ago
2011
Springer
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...
159
click to vote
ICIP
2009
IEEE
15 years 3 months ago
2009
IEEE
Intra-predictive transforms are a kind of block-based transforms that can exploit both the intra- and inter-block correlations. This paper analyzes the coding gains of intra-predi...
149
click to vote
AO
2005
15 years 6 months ago
2005
The paper considers the problem of defining concepts within formal ontologies. A number of distinct modes of definition are identified, which represent alternative viewpoints on t...