1509 search results - page 146 / 302 » Processing with cell assemblies |
106
click to vote
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
We consider the problem of assembling concurrent software systems from untrusted or partially trusted o -the-shelf components, using wrapper programs to encapsulate components and...
ICRA
1998
IEEE
15 years 6 months ago
1998
IEEE
Parts orienting, the process of bringing parts in initially unknown orientations to a goal orientation, is an important aspect of automated assembly. Bowl feeders used in industry...
158
click to vote
ICCL
1992
IEEE
15 years 6 months ago
1992
IEEE
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
107
click to vote
WSC
2008
15 years 4 months ago
2008
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
124
Voted
OWLED
2007
15 years 4 months ago
2007
This analysis is to identify requirements for a Description Logic (DL) to reason about product descriptions and other information related to product development. The DL is intended...