3119 search results - page 247 / 624 » General Default Logic |
136
click to vote
IJCAI
2007
15 years 6 months ago
2007
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
132
click to vote
ACL
2000
15 years 6 months ago
2000
Dominance constraints are logical descriptions of trees that are widely used in computational linguistics. Their general satisfiability problem is known to be NP-complete. Here we...
103
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms...
141
click to vote
TOOLS
2008
IEEE
15 years 11 months ago
2008
IEEE
There is a growing research interest in employing the logic paradigm for making queries on software in general, and OOP software in particular. We describes a side-effect-free tech...
134
click to vote
GLVLSI
2007
IEEE
15 years 11 months ago
2007
IEEE
A probabilistic power estimation technique for combinational circuits is presented. A novel set of simple waveforms is the kernel of this technique. The transition density of each...