Sciweavers

125 search results - page 4 / 25
» hybrid 2001
Sort
View
DAC
2001
ACM
14 years 8 months ago
Scalable Hybrid Verification of Complex Microprocessors
Maher N. Mneimneh, Fadi A. Aloul, Christopher T. W...
ICCBR
2001
Springer
13 years 12 months ago
A Hybrid Approach for the Management of FAQ Documents in Latin Languages
Christiane Gresse von Wangenheim, Andre Bortolon, ...
SEKE
2001
Springer
13 years 12 months ago
A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations
Christiane Gresse von Wangenheim, Daniel Lichtnow,...
PUK
2001
13 years 8 months ago
Plan Representation and Plan Execution in Multi-agent Systems for Robot Control
Hardware agents as a part of cooperative multi-agent systems act in dynamically changing environments and accomplish tasks jointly. Since the pure hybrid plan representation provid...
Alexander Osherenko