Sciweavers

3775 search results - page 302 / 755
» The Expression Problem Revisited
Sort
View
AIML
2008
15 years 8 months ago
Undecidability for arbitrary public announcement logic
Arbitrary public announcement logic (APAL) is an extension of multi-agent epistemic logic that allows agents' knowledge states to be updated by the public announcement of (pos...
Tim French, Hans P. van Ditmarsch
AIML
2008
15 years 8 months ago
A modal perspective on monadic second-order alternation hierarchies
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
Antti Kuusisto
COLING
2008
15 years 8 months ago
Exact Inference for Multi-label Classification using Sparse Graphical Models
This paper describes a parameter estimation method for multi-label classification that does not rely on approximate inference. It is known that multi-label classification involvin...
Yusuke Miyao, Jun-ichi Tsujii
NIPS
2008
15 years 8 months ago
ICA based on a Smooth Estimation of the Differential Entropy
In this paper we introduce the MeanNN approach for estimation of main information theoretic measures such as differential entropy, mutual information and divergence. As opposed to...
Lev Faivishevsky, Jacob Goldberger
SYRCODIS
2008
127views Database» more  SYRCODIS 2008»
15 years 8 months ago
On the Semantics of Updates in a Functional Language
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
Pavel Loupal