Sciweavers

2016 search results - page 34 / 404
» Some observations on HC-128
Sort
View
ATAL
2010
Springer
13 years 11 months ago
Quasi deterministic POMDPs and DecPOMDPs
In this paper, we study a particular subclass of partially observable models, called quasi-deterministic partially observable Markov decision processes (QDET-POMDPs), characterize...
Camille Besse, Brahim Chaib-draa
DLOG
2008
14 years 6 days ago
ContraBovemRufum: A System for Probabilistic Lexicographic Entailment
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
Tobias Henrik Näth, Ralf Möller
JCT
2006
81views more  JCT 2006»
13 years 9 months ago
New identities involving Bernoulli and Euler polynomials
Abstract. Using the finite difference calculus and differentiation, we obtain several new identities for Bernoulli and Euler polynomials; some extend Miki's and Matiyasevich&#...
Hao Pan, Zhi-Wei Sun
FUIN
2010
103views more  FUIN 2010»
13 years 8 months ago
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
A formal model for diagnostics of biological systems modelled as P systems is presented. We assume the presence of some biologically motivated changes (frequently pathological) in ...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
UAI
1996
13 years 11 months ago
A Qualitative Markov Assumption and Its Implications for Belief Change
The study of belief change has been an active area in philosophy and AI. In recent years, two special cases of belief change, belief revision and belief update, have been studied ...
Nir Friedman, Joseph Y. Halpern