2278 search results - page 231 / 456 » Markov logic networks |
146
click to vote
DATE
2005
IEEE
16 years 6 days ago
2005
IEEE
Soft errors are an increasingly serious problem for logic circuits. To estimate the effects of soft errors on such circuits, we develop a general computational framework based on ...
202
click to vote
CSCLP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce a framework for studying and solving a class of CSP formulations. The framework allows constraints to be expressed as linear and nonlinear equations, then compiles th...
157
click to vote
VTS
2003
IEEE
15 years 12 months ago
2003
IEEE
Irreversible computation necessarily results in energy dissipation due to information loss. While small in comparison to the power consumption of today’s VLSI circuits, if curre...
195
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
195
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Modern distributed software applications generally operate in complex and heterogeneous computing environments (like the World Wide Web). Different paradigms (client-server, mobili...