1008 search results - page 161 / 202 » A cis-regulatory logic simulator |
QEST
2008
IEEE
14 years 5 months 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...
CEC
2007
IEEE
14 years 5 months 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...
DATE
2007
IEEE
14 years 5 months 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...
FUZZIEEE
2007
IEEE
14 years 5 months ago
2007
IEEE
— The real time flexible operation of a car-like mobile robot with nonholonomic constraints in dynamic environment is still a very challenging problem. The difficulty lies in t...
FUZZIEEE
2007
IEEE
14 years 5 months ago
2007
IEEE
— Reinforcement learning (RL) is a learning control paradigm that provides well-understood algorithms with good convergence and consistency properties. Unfortunately, these algor...