Sciweavers

108 search results - page 13 / 22
» Approximate Synchrony: An Abstraction for Distributed Almost...
Sort
View
69
Voted
SODA
2004
ACM
98views Algorithms» more  SODA 2004»
14 years 11 months ago
End-to-end packet-scheduling in wireless ad-hoc networks
Abstract Packet-scheduling is a particular challenge in wireless networks due to interference from nearby transmissions. A distance-2 interference model serves as a useful abstract...
V. S. Anil Kumar, Madhav V. Marathe, Srinivasan Pa...
CDC
2009
IEEE
166views Control Systems» more  CDC 2009»
15 years 2 months ago
Idempotent method for dynamic games and complexity reduction in min-max expansions
— In recent years, idempotent methods (specifically, max-plus methods) have been developed for solution of nonlinear control problems. It was thought that idempotent linearity o...
William M. McEneaney
GLOBECOM
2007
IEEE
15 years 3 months ago
Capacity and Fairness of MIMO Broadcast Algorithms in Shadow Fading Environments
Abstract— For MIMO broadcast systems the effects of shadowing on the channel capacity and the fairness of the system in sharing the resources amongst multiple users are important...
Timothy W. King, Peter J. Smith, Lee M. Garth
CONCUR
2000
Springer
15 years 1 months ago
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
Marta Z. Kwiatkowska, Gethin Norman, Roberto Segal...
SSPR
2004
Springer
15 years 2 months ago
Learning People Movement Model from Multiple Cameras for Behaviour Recognition
Abstract. In surveillance systems for monitoring people behaviour, it is imporant to build systems that can adapt to the signatures of the people tasks and movements in the environ...
Nam Thanh Nguyen, Svetha Venkatesh, Geoff A. W. We...