2502 search results - page 469 / 501 » Using probabilistic model checking in systems biology |
AI
2002
Springer
14 years 11 months ago
2002
Springer
This paper provides algorithms that use an information-theoretic analysis to learn Bayesian network structures from data. Based on our three-phase learning framework, we develop e...
112
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
In smart grid, a home appliance can adjust its power consumption level according to the realtime power price obtained from communication channels. Most studies on smart grid do not...
185
click to vote
SIGMOD
2008
ACM
15 years 12 months ago
2008
ACM
To deal with data uncertainty, existing probabilistic database systems augment tuples with attribute-level or tuple-level probability values, which are loaded into the database al...
IROS
2009
IEEE
15 years 6 months ago
2009
IEEE
— In multi-robot systems, task allocation and coordination are two fundamental problems that share high synergy. Although multi-robot architectures typically separate them into d...
CASES
2009
ACM
15 years 6 months ago
2009
ACM
Accurate estimation of the tick length of a synchronous program is essential for efficient and predictable implementations that are devoid of timing faults. The techniques to dete...