1010 search results - page 161 / 202 » Logics for Contravariant Simulations |
168
click to vote
IJCNN
2008
IEEE
16 years 9 days ago
2008
IEEE
—The system architecture presented in this paper is designed for helping an aged person to live longer independently in their own home by detecting unusual and potentially hazard...
187
click to vote
ISQED
2008
IEEE
16 years 9 days ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
151
click to vote
QEST
2008
IEEE
16 years 9 days ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
148
click to vote
CEC
2007
IEEE
16 years 7 days ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...
146
Voted
DATE
2007
IEEE
16 years 7 days ago
2007
IEEE
—Increasing power density causes die overheating due to limited cooling capacity of the package. Conventional thermal management techniques e.g. logic shutdown, clock gating, fre...