14336 search results - page 2795 / 2868 » Analytical simulation modeling |
113
Voted
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
We investigate logics and equivalence relations that capture the qualitative behavior of Markov Decision Processes (MDPs). We present Qualitative Randomized Ctl (Qrctl): formulas o...
114
click to vote
RTCSA
2007
IEEE
15 years 7 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
99
Voted
SECON
2007
IEEE
15 years 7 months ago
2007
IEEE
— The coverage and connectivity problem in sensor networks has received significant attention of the research community in the recent years. In this paper, we study this problem...
108
click to vote
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper considers the problem of temporally fusing classifier outputs to improve the overall diagnostic classification accuracy in safety-critical systems. Here, we discuss d...
SP
2007
IEEE
15 years 7 months ago
2007
IEEE
Hardware manufacturers are increasingly outsourcing their IC fabrication work overseas due to much lower costs. This poses a significant security risk for ICs used for critical m...