3856 search results - page 64 / 772 » Models for Automated Earthmoving |
108
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
89
Voted
ECCV
2008
Springer
16 years 2 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...
94
Voted
SEFM
2009
IEEE
15 years 7 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...
91
Voted
TREC
2003
15 years 2 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...
101
Voted
CAISE
2004
Springer
15 years 6 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...