Sciweavers

7840 search results - page 579 / 1568
» On generalized Ramsey numbers
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
15 years 7 months ago
Co-Algebraic Models for Quantitative Spatial Logics
We introduce a class of coalgebraic models and a family of modal logics that support the specication of spatial properties of distributed applications. The evaluation of a formul...
Vincenzo Ciancia, Gian Luigi Ferrari
JSAC
2006
79views more  JSAC 2006»
15 years 7 months ago
Layered Multicast Rate Control Based on Lagrangian Relaxation and Dynamic Programming
In this paper, we address the rate control problem for layered multicast traffic, with the objective of solving a generalized throughput/fairness objective. Our approach is based o...
Koushik Kar, Leandros Tassiulas
EOR
2007
98views more  EOR 2007»
15 years 7 months ago
Location of terror response facilities: A game between state and terrorist
We study a leader follower game with two players: a terrorist and a state where the later one installs facilities that provide support in case of a terrorist attack. While the Ter...
Oded Berman, Arieh Gavious
GC
2007
Springer
15 years 7 months ago
Consistent Cycles in Graphs and Digraphs
Let Γ be a finite digraph and let G be a subgroup of the automorphism group of Γ. A directed cycle C of Γ is called G-consistent whenever there is an element of G whose restri...
Stefko Miklavic, Primoz Potocnik, Steve Wilson
PAMI
2008
175views more  PAMI 2008»
15 years 7 months ago
Discriminative Feature Co-Occurrence Selection for Object Detection
This paper describes an object detection framework that learns the discriminative co-occurrence of multiple features. Feature co-occurrences are automatically found by Sequential F...
Takeshi Mita, Toshimitsu Kaneko, Björn Stenge...