3856 search results - page 275 / 772 » Models for Automated Earthmoving |
169
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We consider the fully automated recognition of actions in uncontrolled environment. Most existing work relies on domain knowledge to construct complex handcrafted features from in...
203
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
196
click to vote
WECWIS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper addresses a methodology for developing the various user interfaces (UI) of a workflow information system (WIS), which are advocated to automate business processes, foll...
215
click to vote
ADAEUROPE
2007
Springer
16 years 27 days ago
2007
Springer
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
164
click to vote
ROBIO
2006
IEEE
16 years 21 days ago
2006
IEEE
— Evolutionary Robotics provide efficient tools and approach to address automatic design of controllers for automous mobile robots. However, the computational cost of the optimi...