Sciweavers

151 search results - page 13 / 31
» Logical and algorithmic properties of stable conditional ind...
Sort
View
CDC
2009
IEEE
137views Control Systems» more  CDC 2009»
15 years 4 months ago
On Lyapunov sampling for event-driven controllers
— This paper investigates an event condition for event-driven controllers based on Lyapunov functions. Considering that constant values of a Lyapunov function define contour cur...
Manel Velasco, Pau Martí, Enrico Bini
DLOG
2007
15 years 2 months ago
Integrated Distributed Description Logics
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
Antoine Zimmermann
100
Voted
KR
2010
Springer
15 years 4 months ago
Decomposing Description Logic Ontologies
Recent years have seen the advent of large and complex ontologies, most notably in the medical domain. As a consequence, structuring mechanisms for ontologies are nowadays viewed ...
Boris Konev, Carsten Lutz, Denis Ponomaryov, Frank...
CSDA
2011
14 years 6 months ago
Approximate forward-backward algorithm for a switching linear Gaussian model
Motivated by the application of seismic inversion in the petroleum industry we consider a hidden Markov model with two hidden layers. The bottom layer is a Markov chain and given ...
Hugo Hammer, Håkon Tjelmeland
AAAI
2008
15 years 2 months ago
Factored Models for Probabilistic Modal Logic
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
Afsaneh Shirazi, Eyal Amir