Sciweavers

125 search results - page 4 / 25
» hybrid 2001
Sort
View
DAC
2001
ACM
15 years 10 months ago
Scalable Hybrid Verification of Complex Microprocessors
Maher N. Mneimneh, Fadi A. Aloul, Christopher T. W...
65
Voted
ICCBR
2001
Springer
15 years 2 months ago
A Hybrid Approach for the Management of FAQ Documents in Latin Languages
Christiane Gresse von Wangenheim, Andre Bortolon, ...
SEKE
2001
Springer
15 years 2 months ago
A Hybrid Approach for Corporate Memory Management Systems in Software R&D Organizations
Christiane Gresse von Wangenheim, Daniel Lichtnow,...
PUK
2001
14 years 11 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