845 search results - page 97 / 169 » Connecting Many-Sorted Theories |
164
click to vote
LICS
2008
IEEE
16 years 18 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
190
click to vote
ICC
2007
IEEE
16 years 16 days ago
2007
IEEE
Abstract— Wireless topology control is the process of structuring the connectivity between network nodes to achieve some network-wide goal. This paper presents a cognitive networ...
152
click to vote
ICRA
2007
IEEE
16 years 15 days ago
2007
IEEE
— One of the most important problems in Mobile Robotics is to realise the complete robot’s autonomy. In order to achieve this goal several tasks have to be accomplished. Among ...
142
click to vote
PEPM
2007
ACM
16 years 9 days ago
2007
ACM
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
142
click to vote
IROS
2006
IEEE
16 years 6 days ago
2006
IEEE
– Motion synchronization in mobile robot networks is a fundamental task in distributed multi-robot collaboration. In this paper, we investigate the robustness of synchronous spee...