913 search results - page 20 / 183 » Full Abstraction for Linda |
IJCAI
2001
13 years 9 months ago
2001
ive probabilistic networks are qualitative abstractions of probabilistic networks, summarising probabilistic influences by qualitative signs. As qualitative networks model influen...
ECAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Algorithms for probabilistic inference in Bayesian networks are known to have running times that are worst-case exponential in the size of the network. For networks with ...
FCCM
2009
IEEE
13 years 5 months ago
2009
IEEE
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
FMCAD
2008
Springer
13 years 9 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
ISBI
2008
IEEE
14 years 8 months ago
2008
IEEE
Craniosynostosis is a congenital disease which consists of premature fusion of one or more cranial sutures, resulting in an abnormal head shape. Patients are usually treated by cr...