4166 search results - page 407 / 834 » A modular module system |
154
click to vote
ICRA
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— The problem addressed is the distributed reconfiguration of a metamorphic robot system composed of any number of two dimensional robots (modules). The initial configu...
131
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper gives an overview on a Virtual electronic component or IP (Intellectual Property) exchange infrastructure whose main components are a XML "well structured IP e-cat...
163
click to vote
PDP
2002
IEEE
15 years 11 months ago
2002
IEEE
We present the Ka-admin project that addresses the problem of collecting, visualizing and feeding back any grid information, trace or snapshot, compliant to an XML-like model. Rea...
184
click to vote
SSIAI
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a content-based image retrieval system that employs both higher-level and lower-level vision methodologies separately and in conjunction for the retrieval of ...
177
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...