Sciweavers

3808 search results - page 23 / 762
» Artificial Intelligence: A Modern Approach
Sort
View
ATAL
2009
Springer
15 years 4 months ago
From agent interaction protocols to executable code: a model-driven approach
Christian Hahn, Ingo Zinnikus, Stefan Warwas, Klau...
ICTAI
2010
IEEE
14 years 7 months ago
Combining Learning Techniques for Classical Planning: Macro-operators and Entanglements
Planning techniques recorded a significant progress during recent years. However, many planning problems remain still hard even for modern planners. One of the most promising appro...
Lukás Chrpa
AIPS
2009
14 years 10 months ago
Suboptimal and Anytime Heuristic Search on Multi-Core Machines
In order to scale with modern processors, planning algorithms must become multi-threaded. In this paper, we present parallel shared-memory algorithms for two problems that underli...
Ethan Burns, Seth Lemons, Wheeler Ruml, Rong Zhou
AAAI
2006
14 years 11 months ago
Constraint-Based Random Stimuli Generation for Hardware Verification
We report on random stimuli generation for hardware verification in IBM as a major application of various artificial intelligence technologies, including knowledge representation,...
Yehuda Naveh, Michal Rimon, Itai Jaeger, Yoav Katz...
FLAIRS
2007
15 years 1 days ago
Document Semantic Annotation for Intelligent Tutoring Systems: A Concept Mapping Approach
The difficulty of domain knowledge acquisition is one of the most sensible challenges of intelligent tutoring systems. Relying on domain experts and building domain models from sc...
Amal Zouaq, Roger Nkambou, Claude Frasson