620 search results - page 5 / 124 » Verification and Validation and Artificial Intelligence |
ICTAI
2003
IEEE
14 years 22 days ago
2003
IEEE
FLAIRS
2004
13 years 8 months ago
2004
This paper presents a case study of our experience conducting HCI experiments to inform multimedia cue generation. We analyze the interrelated HCI and NLG issues that a complete m...
FLAIRS
2000
13 years 8 months ago
2000
Knowledgeincorporated intelligent solving methodsare prevailing in practical planningandschedulingbecauseof the large problemsize and complexconstraints. However,when intelligent ...
AAAI
2004
13 years 8 months ago
2004
In this paper we discuss a deployed application at Ford Motor Company that utilizes AI technology for the analysis of potential ergonomic concerns at our assembly plants. The manu...
EVOW
1999
Springer
13 years 11 months ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...