Sciweavers

1679 search results - page 124 / 336
» Strong order equivalence
Sort
View
EON
2008
15 years 6 months ago
Semantic System Integration - Incorporating Rule based Semantic Bridges into BPEL Processes
Abstract. This paper describes how semantic bridges realized in terms of rulebased ontology mappings can be incorporated into BPEL processes. The approach is explained by applying ...
Nils Barnickel, Ralf Weinand, Matthias Flügge
ESANN
2008
15 years 6 months ago
Explaining Ant-Based Clustering on the basis of Self-Organizing Maps
Ant-based clustering is a nature-inspired technique whereas stochastic agents perform the task of clustering high-dimensional data. This paper analyzes the popular technique of Lum...
Lutz Herrmann, Alfred Ultsch
AUTOMATICA
2010
130views more  AUTOMATICA 2010»
15 years 5 months ago
Discrete-time dynamic average consensus
We propose a class of discrete-time dynamic average consensus algorithms that allow a group of agents to track the average of their reference inputs. The convergence results rely ...
Minghui Zhu, Sonia Martínez
143
Voted
CCR
2010
105views more  CCR 2010»
15 years 5 months ago
A platform for high performance and flexible virtual routers on commodity hardware
Multi-core CPUs, along with recent advances in memory and buses, render commodity hardware a strong candidate for software router virtualization. In this context, we present the d...
Norbert Egi, Adam Greenhalgh, Mark Handley, Micka&...
163
Voted
CORR
2008
Springer
172views Education» more  CORR 2008»
15 years 5 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger