3856 search results - page 100 / 772 » Models for Automated Earthmoving |
166
click to vote
CVPR
2009
IEEE
17 years 13 hour ago
2009
IEEE
Recognition of signs in sentences requires a training
set constructed out of signs found in continuous sentences.
Currently, this is done manually, which is a tedious process.
I...
160
click to vote
KDD
2010
ACM
15 years 8 months ago
2010
ACM
Internet users regularly have the need to find biographies and facts of people of interest. Wikipedia has become the first stop for celebrity biographies and facts. However, Wik...
122
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
151
click to vote
DLOG
2007
15 years 7 months ago
2007
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...