Knjiga apstrakata - Mathematical Institute of the Serbian Academy of ...

More documents

Recommendations

Info

[9] Velimir M. Ilic, Dejan I. Mancev, Branimir Todorovic, and Miomir S. Stankovic. Gradient computation in linear-chainconditional random fields using the entropy message passing algorithm. CoRR. Submitted to Pattern RecognitionLetters.[10] Velimir M. Ilic, Miomir S. Stankovic, and Todorović T. Branimir. Binomial Message Passing. Submittted to InformationTheory, IEEE Transactions on, 2011.[11] Velimir M. Ilic, Miomir S. Stankovic, and Branimir T. Todorovic. Entropy message passing. IEEE Transactions onInformation Theory, 57(1):219–242, 2011.[12] F.R. Kschischang, B.J. Frey, and H.-A. Loeliger. Factor graphs and the sum-product algorithm. Information Theory,IEEE Transactions on, 47(2):498 –519, feb 2001.[13] A. Kulesza and B. Taskar. Structured determinantal point processes. In Advances in neural information processingsystems 23, 2011.[14] David J. C. MacKay. Information theory, inference, and learning algorithms. Cambridge University Press, 2003.30
Monadic Calculus and ConstituentsSaša RasuoIn this paper we propose a decidability procedure for the first order monadic calculus. The method is based on acombinatorial algorithm resting on constituents. First we show how to reduce a first order predicate formula whichinvolves only unary predicates to an equivalent boolean combination of constituents. Computing the logical value of thisboolean combination, we obtain the answer if the starting monadic sentence is a theorem of predicate logic, or not. Wealso show that this procedure is in fact a kind of quantifier elimination. Several examples are given which illustrates themethod. We see the possible applications of the presented method in data base for for computing formal queries andfilters.31
Page 1: Verovatnosne logike i njihove prime
Page 5: Program konferencije:Dan 1 - 29. 9.
Page 9 and 10: SadržajA Branching-time Probabilis
Page 11 and 12: A Branching-time Probabilistic Logi
Page 13 and 14: A first-order probabilistic logic w
Page 15 and 16: An optimised index structure for st
Page 17 and 18: Artificial Neural Networksfor Decis
Page 19 and 20: Bayesian probability theory is the
Page 21 and 22: Constructive Anti-ideals Theory of
Page 23 and 24: Table 1: Experimental results on sm
Page 25 and 26: Formal Verification of Key Properti
Page 27 and 28: The natural question here is how to
Page 29: Message Passing Algorithmsover the
Page 33 and 34: Primena Bajesovih mreža u medicins
Page 35 and 36: Pseudo-Random Number Generator Usin
Page 37 and 38: For a two-person mixture, the easie
Page 39: Sistem za podršku u kliničkom odl

Knjiga apstrakata - Mathematical Institute of the Serbian Academy of ...

Create successful ePaper yourself

Delete template?

Save as template?