3856 search results - page 75 / 772 » Models for Automated Earthmoving |
ISMIR
2001
Springer
14 years 3 months ago
2001
Springer
We present a technique that, given a sequence of musical note onset times, performs simultaneous identi cation of the notated rhythm and the variable tempo associated with the tim...
ATAL
2008
Springer
14 years 1 months ago
2008
Springer
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
WOA
2001
14 years 16 days ago
2001
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
TCAD
2008
13 years 11 months ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
EUMAS
2006
14 years 17 days ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...