Sciweavers

1174 search results - page 27 / 235
» Derivation of Characteristic Formulae
Sort
View
TARK
1998
Springer
15 years 6 months ago
A Modal Logic of Information Change
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...
Joeri Engelfriet, Yde Venema
NIPS
2001
15 years 3 months ago
Kernel Machines and Boolean Functions
We give results about the learnability and required complexity of logical formulae to solve classification problems. These results are obtained by linking propositional logic with...
Adam Kowalczyk, Alex J. Smola, Robert C. Williamso...
TNN
2008
112views more  TNN 2008»
15 years 1 months ago
Multilayer Perceptrons: Approximation Order and Necessary Number of Hidden Units
Abstract--This paper considers the approximation of sufficiently smooth multivariable functions with a multilayer perceptron (MLP). For a given approximation order explicit formula...
S. Trenn
ARSCOM
2004
76views more  ARSCOM 2004»
15 years 1 months ago
Independent sets in Steiner triple systems
A set of points in a Steiner triple system (STS(v)) is said to be independent if no three of these points occur in the same block. In this paper we derive for each k 8 a closed f...
A. D. Forbes, Mike J. Grannell, Terry S. Griggs
IOR
2010
92views more  IOR 2010»
15 years 11 days ago
Series Expansions for Continuous-Time Markov Processes
We present exchange formulas that allow to express the stationary distribution of a continuous Markov chain with denumerable state-space having generator matrix Q∗ through a con...
Bernd Heidergott, Arie Hordijk, Nicole Leder