This submission will provide interested parties with the opportunity to learn more about the FP7 PERIMETER project. Details of the testing and experimental methodologies and the ro...
This paper investigates the integration of verbal and visual information for describing (explaining) the content of images formed by threedimensional geometrical gures, from a hy...
Ernesto Burattini, Paolo Coraggio, Massimo De Greg...
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
Jeffrey Van Baalen, Peter Robinson, Michael R. Low...
People sometimes miss small parts of meetings and need to quickly catch up without disrupting the rest of the meeting. We developed an Accelerated Instant Replay (AIR) Conferencin...
Sasa Junuzovic, Kori Inkpen, Rajesh Hegde, Zhengyo...