3271 search results - page 359 / 655 » Controlled Multicast Framework |
202
click to vote
SAB
2004
Springer
15 years 12 months ago
2004
Springer
This paper provides an overview of our framework, called physicomimetics, for the distributed control of swarms of robots. We focus on robotic behaviors that are similar to those s...
171
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
178
click to vote
ICDCS
2005
IEEE
16 years 7 days ago
2005
IEEE
Power heterogeneous ad hoc networks are characterized by link layer asymmetry: the ability of lower power nodes to receive transmissions from higher power nodes but not vice versa...
181
click to vote
ECCV
1994
Springer
16 years 8 months ago
1994
Springer
Abstract. Regularization o ers a powerful framework for signal reconstruction by enforcing weak constraints through the use of stabilizers. Stabilizers are functionals measuring th...
153
click to vote
IWSOS
2009
Springer
16 years 1 months ago
2009
Springer
Internet Coordinate Systems (ICS) provide easy and practical latency predictions in the Internet. However, peer dynamics (i.e, churn), which is an inherent property of peer-to-peer...