3856 search results - page 34 / 772 » Models for Automated Earthmoving |
146
Voted
WSC
2004
15 years 6 months ago
2004
Creating a simulation of a large enterprise system by manually coding all the details into a simulator tool is not just time consuming, but yields a system that is difficult to ma...
168
Voted
DLOG
2011
14 years 9 months ago
2011
This paper introduces relaxed abduction, a novel non-standard reasoning task for description logics. Although abductive reasoning over description logic knowledge bases has been ap...
136
click to vote
ECRTS
2005
IEEE
15 years 11 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
173
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...
129
click to vote
ITC
1998
IEEE
15 years 9 months ago
1998
IEEE
Automated fault diagnosis based on the stuckat fault model is not always effective. This paper presents practical experiences in applying a bridging fault based diagnosis techniqu...