3856 search results - page 306 / 772 » Models for Automated Earthmoving |
187
Voted
DAC
2002
ACM
16 years 8 months ago
2002
ACM
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
217
Voted
TIME
2009
IEEE
16 years 2 months ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...
226
Voted
3DPVT
2006
IEEE
16 years 1 months ago
2006
IEEE
Range sensing technology allows the photorealistic modeling of large-scale scenes, such as urban structures. The generated 3D representations, after automated registration, are us...
212
Voted
ECSQARU
2005
Springer
16 years 29 days ago
2005
Springer
The most problematic and challenging issues in fuzzy modeling of nonlinear system dynamics deal with robustness and interpretability. Traditional data-driven approaches, especially...
194
click to vote
UML
2004
Springer
16 years 23 days ago
2004
Springer
The Object Constraint Language (OCL) plays an important role in the elaboration of precise UML models. Although OCL was designed to be both formal and simple, UML/OCL models may be...