900 search results - page 80 / 180 » On the observational theory of the CPS-calculus |
181
click to vote
ATVA
2009
Springer
16 years 27 days ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
154
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
185
click to vote
CDC
2008
IEEE
16 years 24 days ago
2008
IEEE
—A robust active queue management (AQM) scheme based on H-infinty theory is presented for the problem of congestion control in TCP communication networks. In TCP/IP networks, the...
186
click to vote
ACCV
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We present a new application of computer vision: continuous measurement of the geometrical visibility range on inter-urban roads, solely based on a monocular image acquis...
153
click to vote
COCO
2007
Springer
16 years 14 days ago
2007
Springer
We study the link between the complexity of a polynomial and that of its coefficient functions. Valiant’s theory is a good setting for this, and we start by generalizing one of V...