3856 search results - page 527 / 772 » Models for Automated Earthmoving |
195
click to vote
HICSS
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
162
click to vote
IROS
2007
IEEE
16 years 27 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
132
click to vote
LICS
2007
IEEE
16 years 27 days ago
2007
IEEE
Typing of lambda-terms in Elementary and Light Affine Logic (EAL , LAL resp.) has been studied for two different reasons: on the one hand the evaluation of typed terms using LAL ...
168
click to vote
TIME
2007
IEEE
16 years 26 days ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
253
click to vote
WACV
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper, stereo matching and 3D visualization issues are studied for a linear pushbroom stereo model built for 3D gamma-ray (or x-ray) cargo inspection. A fast and automated...