3856 search results - page 161 / 772 » Models for Automated Earthmoving |
157
click to vote
FORMATS
2009
Springer
16 years 24 days ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
151
click to vote
ACSAC
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
124
click to vote
LPNMR
2009
Springer
16 years 24 days ago
2009
Springer
Building upon the 2-valued Layered Models semantics for normal programs, we introduce a refinement — the Layer Supported Models semantics — which, besides keeping all of LMs...
142
click to vote
ICCBR
2007
Springer
16 years 12 days ago
2007
Springer
In this position paper, we discuss the interdependencies of context models and flexible design processes in the chip industry. We illustrate this by an ontology-based context model...
184
click to vote
LICS
1994
IEEE
15 years 10 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...