3856 search results - page 64 / 772 » Models for Automated Earthmoving |
LICS
2009
IEEE
14 years 4 months ago
2009
IEEE
ECCV
2008
Springer
14 years 12 months ago
2008
Springer
We present a novel approach to 3D delineation of dendritic networks in noisy image stacks. We achieve a level of automation beyond that of stateof-the-art systems, which model dend...
SEFM
2009
IEEE
14 years 4 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
TREC
2003
13 years 11 months ago
2003
Our aim of participating in this year’s High Accuracy Retrieval from Documents (HARD) track is to explore the possibility of developing an automated HARD retrieval model by leve...
CAISE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper describes the AutoMed repository and some associated tools, which provide the first implementation of the both as view (BAV) approach to data integration. Apa...