3856 search results - page 83 / 772 » Models for Automated Earthmoving |
109
Voted
AGI
2008
15 years 2 months ago
2008
Artificial Intelligence deals with the automated simulation of human intelligent behavior. Various aspects of human faculties are tackled using computational models. It is clear th...
108
click to vote
WSC
2004
15 years 2 months ago
2004
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...
110
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
STTT
2008
15 years 27 days ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...
176
click to vote
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Image analysis is still considered as the bottleneck in 2D-gel based expression proteomics analysis for biomarkers discovery. We are presenting a new end-to-end image analysis pip...