Sciweavers

244 search results - page 18 / 49
» Modeling Instrumental Conditioning - The Behavioral Regulati...
Sort
View
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 3 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
ISMB
1997
14 years 11 months ago
Functional Prediction of B. subtilis Genes from Their Regulatory Sequences
In bacterial cells, gene expression is regulated by multiple sigma factors, each of which has its promoter specificity, according to their conditions. Thus, if we can discriminate...
Tetsushi Yada, Yasushi Totoki, Takahiro Ishii, Ken...
DSN
2007
IEEE
15 years 4 months ago
On a Modeling Framework for the Analysis of Interdependencies in Electric Power Systems
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...
Silvano Chiaradonna, Paolo Lollini, Felicita Di Gi...
ICASSP
2011
IEEE
14 years 1 months ago
A modified MAP criterion based on hidden Markov model for voice activity detecion
The maximum a posteriori (MAP) criterion is broadly used in the statistical model-based voice activity detection (VAD) approaches. In the conventional MAP criterion, however, the ...
Shiwen Deng, Jiqing Han, Tieran Zheng, Guibin Zhen...
IEEEAMS
2003
IEEE
15 years 3 months ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini