620 search results - page 5 / 124 » Verification and Validation and Artificial Intelligence |
ICTAI
2003
IEEE
15 years 2 months ago
2003
IEEE
FLAIRS
2004
14 years 11 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
14 years 11 months ago
2000
Knowledgeincorporated intelligent solving methodsare prevailing in practical planningandschedulingbecauseof the large problemsize and complexconstraints. However,when intelligent ...
72
Voted
AAAI
2004
14 years 11 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...
64
Voted
EVOW
1999
Springer
15 years 1 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...