1300 search results - page 24 / 260 » Probabilistic logic with independence |
103
click to vote
ICCAD
2003
IEEE
15 years 10 months ago
2003
IEEE
As current silicon-based techniques fast approach their practical limits, the investigation of nanoscale electronics, devices and system architectures becomes a central research p...
137
click to vote
FLAIRS
2008
15 years 4 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
106
click to vote
IANDC
2006
15 years 1 months ago
2006
This paper is devoted to probabilistic models for concurrent systems under their true-concurrency semantics. Here we address probabilistic event structures. We consider a new clas...
138
Voted
ICCAD
2008
IEEE
15 years 10 months ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
105
Voted
FORMATS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...