11376 search results - page 282 / 2276 » Willow System Demonstration |
141
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper develops a novel mechanism for managing the performance and feasibility trade off withing predictive control. Specifically, it demonstrates that the potenti...
159
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— We describe algorithms to build self-assembling robot systems composed of active modular robots and passive bars. The distributed algorithms are based on locally optimal matchi...
188
click to vote
SEMCO
2008
IEEE
16 years 1 months ago
2008
IEEE
Geo-temporal criteria are important for filtering, grouping and prioritizing information resources. This presents techniques for extracting semantic geo-temporal information from ...
161
click to vote
HOTI
2005
IEEE
16 years 9 days ago
2005
IEEE
— A crucial part of any high-performance computing system is its interconnection network. In the OSMOSIS project, Corning and IBM are jointly developing a demonstrator interconne...
164
click to vote
CC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables t...