3856 search results - page 657 / 772 » Models for Automated Earthmoving |
169
click to vote
ATC
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. An Organic Computing system has the ability to autonomously (re-)organize and adapt itself. Such a system exhibits so called self-x properties (e.g. self-healing) and is ...
161
click to vote
CSL
2009
Springer
16 years 18 days ago
2009
Springer
Separation logic is a Hoare-style logic for reasoning about programs with heap-allocated mutable data structures. As a step toward extending separation logic to high-level language...
144
click to vote
ECSQARU
2009
Springer
16 years 18 days ago
2009
Springer
: A persuasion dialog is a dialog in which agents exchange arguments on a subject. In this kind of dialog, the agents disagree about the status of the subject and each one tries to...
142
click to vote
FMCAD
2009
Springer
16 years 18 days ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
154
click to vote
ISCIS
2009
Springer
16 years 17 days ago
2009
Springer
—With the development of improved and cost-effective technologies, it is now possible to detect thousands of metabolites in biofluids or specific organs, and reliably quantify th...