955 search results - page 148 / 191 » Model Checking Operator Procedures |
115
click to vote
CII
2006
15 years 2 months ago
2006
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
110
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Dynamic airspace configuration (DAC) algorithms strive to restructure the U.S. National Airspace System (NAS) in ways that allow air traffic control to better manage aircraft flows...
119
click to vote
CAD
2007
Springer
15 years 2 months ago
2007
Springer
The recent advancement of solid freeform fabrication, design techniques and fundamental understanding of material properties in functionally graded materials has made it possible ...
132
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
— In order to optimize the costs and time of design of the new products while improving their quality, concurrent engineering is based on the digital model of these products, the...
156
Voted
PRESENCE
2006
15 years 2 months ago
2006
The generation of multimodal virtual environments for surgical training is complicated by the necessity to develop heterogeneous simulation scenarios such as surgical incision, ca...