Sciweavers

2050 search results - page 102 / 410
» constraints 2010
Sort
View
NETWORKS
2010
13 years 8 months ago
Network flow spanners
Abstract. In this paper, motivated by applications of ordinary (distance) spanners in communication networks and to address such issues as bandwidth constraints on network links, l...
Feodor F. Dragan, Chenyu Yan
SCP
2010
172views more  SCP 2010»
13 years 8 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
CDC
2010
IEEE
100views Control Systems» more  CDC 2010»
13 years 5 months ago
On the internal dynamics of formations of unicycle robots
This paper studies a general class of formations of unicycle robots. One of the robots plays the role of the leader and the formation is induced through a constraint function F tha...
Luca Consolini, Fabio Morbidi, Domenico Prattichiz...
ACL
2010
13 years 8 months ago
Global Learning of Focused Entailment Graphs
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
Jonathan Berant, Ido Dagan, Jacob Goldberger
LPAR
2010
Springer
13 years 8 months ago
Pairwise Cardinality Networks
Abstract. We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise ...
Michael Codish, Moshe Zazon-Ivry