3856 search results - page 321 / 772 » Models for Automated Earthmoving |
229
click to vote
NFM
2011
15 years 1 months ago
2011
A main idea underlying bounded model checking is to limit the length of the potential counter-examples, and then prove properties for the bounded version of the problem. In softwar...
209
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
The Semantic Web emphasizes encoding over modeling. It is built on the premise that ontology engineers can say something useful about the semantics of vocabularies by expressing th...
244
click to vote
TCSV
2010
15 years 1 months ago
2010
Background subtraction (BS) is an efficient technique for detecting moving objects in video sequences. A simple BS process involves building a model of the background and extractin...
292
click to vote
Publication
Within-die process variations arise during integrated circuit (IC) fabrication in the sub-100nm regime. These variations are of paramount concern as they deviate the performance of...
187
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
Correspondence establishment is a key step in statistical shape model building. There are several automated methods for solving this problem in 3D, but they usually can only handl...