Sciweavers

6413 search results - page 813 / 1283
» Classes of cycle bases
Sort
View
BIOWIRE
2007
Springer
16 years 1 months ago
A Rule System for Network-Centric Operation in Massively Distributed Systems
Sensor and Actor Networks (SANETs) represent a specific class of massively distributed systems in which classical communication protocols often fail due to scalability problems. N...
Falko Dressler, Reinhard German
CALCO
2007
Springer
112views Mathematics» more  CALCO 2007»
16 years 1 months ago
Impossibility Results for the Equational Theory of Timed CCS
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
Luca Aceto, Anna Ingólfsdóttir, Moha...
ESWS
2007
Springer
16 years 1 months ago
Acquisition of OWL DL Axioms from Lexical Resources
State-of-the-art research on automated learning of ontologies from text currently focuses on inexpressive ontologies. The acquisition of complex axioms involving logical connective...
Johanna Völker, Pascal Hitzler, Philipp Cimia...
HYBRID
2007
Springer
16 years 1 months ago
Metrics and Topology for Nonlinear and Hybrid Systems
Abstract. This paper presents an approach to defining distances between nonlinear and hybrid dynamical systems based on formal power series theory. The main idea is that the input...
Mihály Petreczky, René Vidal
ICANN
2007
Springer
16 years 1 months ago
Structure Learning with Nonparametric Decomposable Models
Abstract. We present a novel approach to structure learning for graphical models. By using nonparametric estimates to model clique densities in decomposable models, both discrete a...
Anton Schwaighofer, Mathäus Dejori, Volker Tr...