2067 search results - page 383 / 414 » Logics of propositional control |
105
click to vote
RAS
2007
15 years 1 months ago
2007
In a multi-robotic system, robots interact with each other in a dynamically changing environment. The robots need to be intelligent both at the individual and group levels. In thi...
130
click to vote
IAJIT
2010
15 years 3 days ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
110
click to vote
ICRA
2010
IEEE
15 years 2 days ago
2010
IEEE
—This paper introduces a high-speed vision system called IDP Express, which can execute real-time image processing and high frame rate video recording simultaneously. In IDP Expr...
INFOCOM
2010
IEEE
15 years 23 hour ago
2010
IEEE
—This paper presents a novel transport protocol, CUSP, specifically designed with complex and dynamic network applications in mind. Peer-to-peer applications benefit in particu...
131
click to vote
MODELS
2010
Springer
14 years 12 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...