6704 search results - page 481 / 1341 » Testing Scenario-Based Models |
212
click to vote
SGAI
2010
Springer
15 years 1 months ago
2010
Springer
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
198
click to vote
TASLP
2010
15 years 1 months ago
2010
The ability of the human auditory system for sound localization mainly depends on the binaural cues, especially interaural time and level differences (ITD and ILD). In the context ...
153
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
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 ...
398
Voted
CEC
2011
IEEE
14 years 7 months ago
2011
IEEE
Abstract—Having a risky sexual behavior increases the likelihood of infection by the Human Immunodeficiency Virus (HIV), which causes the Acquired Immunodeficiency Syndrome (AI...
220
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...