255 search results - page 46 / 51 » Computer-Aided Manufacturing System Engineering |
SPIN
2007
Springer
14 years 25 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
IFM
2004
Springer
14 years 2 days ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
ICRA
2000
IEEE
13 years 11 months ago
2000
IEEE
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
WSC
2001
13 years 8 months ago
2001
This paper discusses the changes that were required to Ford's Power Train Operations (PTO) simulation environment to ensure the maximum benefit was gained from the investment...
ALIFE
2006
13 years 6 months ago
2006
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...