Sciweavers

FLAIRS
2001
14 years 1 months ago
A Multimodal Shopping Assistant for Home E-Commerce
Electronic Commerce has rapidly grown with the expansion of the Internet. E-commerce has also become a promising field for applying agent and Artificial Intelligence technologies....
Mehrdad Jalali-Sohi, Feza Baskaya
AAAI
2006
14 years 1 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...