5472 search results - page 945 / 1095 » Stochastic Mechanism Design |
187
click to vote
RTAS
1998
IEEE
15 years 9 months ago
1998
IEEE
Proliferation of communication-intensive real-time applications with elastic" timeliness constraints, such as streaming stored video, requires a new design for endhost commun...
141
click to vote
FTRTFT
1998
Springer
15 years 9 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...
165
Voted
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...
185
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...
139
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...