4880 search results - page 830 / 976 » Mechanism Design by Creditability |
140
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
163
click to vote
ICRA
1994
IEEE
15 years 8 months ago
1994
IEEE
act The Neptune system is a mobile robot system used to remotely inspect above-ground storage tanks (ASTs) while immersed in the petroleum product, in order to ascertain from the i...
184
click to vote
SIGGRAPH
1992
ACM
15 years 8 months ago
1992
ACM
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
138
click to vote
ACMACE
2007
ACM
15 years 8 months ago
2007
ACM
Emergent game formats, such as machinima, that use game worlds as expressive 3D performance spaces have new expressive powers with an increase of the quality of their underlying g...
130
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
As integrated circuits manufacturing technology is advancing into 65nm and 45nm nodes, extensive resolution enhancement techniques (RETs) are needed to correctly manufacture a chip...