Sciweavers

7274 search results - page 1134 / 1455
» Abstractions for network update
Sort
View
PKDD
2009
Springer
170views Data Mining» more  PKDD 2009»
16 years 2 months ago
Statistical Relational Learning with Formal Ontologies
Abstract. We propose a learning approach for integrating formal knowledge into statistical inference by exploiting ontologies as a semantically rich and fully formal representation...
Achim Rettinger, Matthias Nickles, Volker Tresp
CDC
2008
IEEE
161views Control Systems» more  CDC 2008»
16 years 2 months ago
Distributed policies for equitable partitioning: Theory and applications
Abstract— The most widely applied resource allocation strategy is to balance, or equalize, the total workload assigned to each resource. In mobile multi-agent systems, this princ...
Marco Pavone, Emilio Frazzoli, Francesco Bullo
166
Voted
CDC
2008
IEEE
137views Control Systems» more  CDC 2008»
16 years 2 months ago
Increasingly correct message passing averaging algorithms
Abstract— We study averaging algorithms, when implemented in large networks of wirelessly connected elements. We extend the notion of “Increasing Correctness” (IC) which was ...
Kurt Plarre, Francesco Bullo
COMPSAC
2008
IEEE
16 years 2 months ago
SCCM: Service-Oriented Community Coordinated Multimedia Architecture
Community coordinated multimedia (CCM) envisions the paradigm of consuming multiple media via diversity display devices, converged networks, and heterogeneous platforms within a v...
Jiehan Zhou, Mika Rautiainen, Mika Ylianttila
CSSE
2008
IEEE
16 years 2 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
« Prev « First page 1134 / 1455 Last » Next »