3856 search results - page 755 / 772 » Models for Automated Earthmoving |
122
click to vote
AGENTS
2000
Springer
15 years 4 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
ER
1998
Springer
15 years 4 months ago
1998
Springer
It is widely acknowledged that information such as web content should be adapted for mobile platforms to account for restrictions in mobile environments. As emerging mobile platfor...
117
click to vote
FM
1997
Springer
15 years 3 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
120
click to vote
ACSAC
2004
IEEE
15 years 3 months ago
2004
IEEE
One of the biggest obstacles faced by user command based anomaly detection techniques is the paucity of data. Gathering command data is a slow process often spanning months or yea...
ACSC
2004
IEEE
15 years 3 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...