Sciweavers

1362 search results - page 66 / 273
» Means, Correlations and Bounds
Sort
View
FORTE
2001
15 years 3 months ago
A Family of Resource-Bound Real-Time Process Algebras
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 ...
Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Phi...
PDPTA
2004
15 years 3 months ago
Static Performance Evaluation for Memory-Bound Computing: The MBRAM Model
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...
Gene Cooperman, Xiaoqin Ma, Viet Ha Nguyen
HYBRID
2011
Springer
14 years 1 months ago
Almost sure stability of networked control systems under exponentially bounded bursts of dropouts
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...
Michael D. Lemmon, Xiaobo Sharon Hu
ICIP
2009
IEEE
14 years 11 months ago
On the coding gain of intra-predictive transforms
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...
Jizheng Xu, Feng Wu, Wenjun Zhang
AO
2005
120views more  AO 2005»
15 years 1 months ago
Modes of concept definition and varieties of vagueness
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...
Brandon Bennett