Sciweavers

9698 search results - page 218 / 1940
» models 2010
Sort
View
ENTCS
2007
111views more  ENTCS 2007»
15 years 6 months ago
Reversibility and Models for Concurrency
There is a growing interest in models of reversible computation driven by exciting application areas such as bio-systems and quantum computing. Reversible process algebras RCCS [2...
Iain Phillips, Irek Ulidowski
ISAMI
2010
15 years 4 months ago
A Framework for Modeling and Analysis of Ambient Agent Systems: Application to an Emergency Case
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
Tibor Bosse, Alexei Sharpanskykh
JDCTA
2010
103views more  JDCTA 2010»
15 years 1 months ago
WEB-based Modeling and Simulation Technology in the Training of Power Plant Application -A Set of Steam Turbine for Instance
Electric power generation requires a great deal of production equipment, such as steam turbines, boilers, etc., how to insure the well-run condition of such equipment is the key f...
Hongjun Guan
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 6 months ago
On MMSE and MAP Denoising Under Sparse Representation Modeling Over a Unitary Dictionary
Among the many ways to model signals, a recent approach that draws considerable attention is sparse representation modeling. In this model, the signal is assumed to be generated a...
Javier Turek, Irad Yavneh, Matan Protter, Michael ...
MASCOTS
2010
15 years 8 months ago
Modeling the Run-time Behavior of Transactional Memory
In this paper, we develop a queuing theory based analytical model to evaluate the performance of transactional memory. Based on the statistical characteristics observed on actual e...
Zhengyu He, Bo Hong