3856 search results - page 203 / 772 » Models for Automated Earthmoving |
193
click to vote
GIS
2000
ACM
15 years 6 months ago
2000
ACM
Spatialapplications must managepartwhole (PW) relationships between spatial objects, for example, the division of an administrative region into zones based on land use. Support fo...
182
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
154
click to vote
KDD
1999
ACM
15 years 11 months ago
1999
ACM
Many advanced safety and navigation applications in vehicles require accurate, detailed digital maps, but manual lane measurements are expensive and time-consuming, making automat...
189
click to vote
MKWI
2008
15 years 8 months ago
2008
: This paper presents an approach for the automated extraction of process patterns from Event-driven Process Chain (EPC) models in engineering domains. The manually extraction of p...
205
click to vote
CSL
2007
Springer
2007
Springer
Speaker-adaptive learning of resonance targets in a hidden trajectory model of speech coarticulation
15 years 6 months ago
A novel speaker-adaptive learning algorithm is developed and evaluated for a hidden trajectory model of speech coarticulation and reduction. Central to this model is the process o...