Sciweavers

3658 search results - page 458 / 732
» Founding properties on measurement
Sort
View
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
16 years 1 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...
FQAS
2009
Springer
202views Database» more  FQAS 2009»
16 years 1 months ago
Controlled Aggregate Tree Shaped Questions over Ontologies
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
Camilo Thorne, Diego Calvanese
ETFA
2008
IEEE
16 years 1 months ago
Exploiting publish/subscribe communication in wireless mesh networks for industrial scenarios
This paper addresses questions of using wireless mesh networks (WMNs) in heterogeneous industrial infrastructures. This implies several problems like global addressing, handling o...
André Herms, Michael Schulze, Jörg Kai...
ETFA
2008
IEEE
16 years 1 months ago
Functional safety and system security in automation systems - a life cycle model
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...
Thomas Novak, Albert Treytl
ICASSP
2008
IEEE
16 years 1 months ago
Sound field decomposition using spherical microphone arrays
Spherical microphone arrays offer a number of attractive properties such as direction-independent acoustic behavior and ability to reconstruct the sound eld in the vicinity of the...
Dmitry N. Zotkin, Ramani Duraiswami, Nail A. Gumer...