We present a design for an automated theorem prover that controls its search based on ideas from several areas of artificial intelligence (AI). The combination of case-based reaso...
Air Traffic Management Systems (ATMS) of the future will feature Free Flight, in which aircraft choose their own routes, altitude, and speed, and automated conflict resolution me...
Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire...
The paper describes recent progress in research on database system support for executing multimedia presentations. It proposes the general concept of Reactive Playout Management t...
Heiko Thimm, Wolfgang Klas, Jonathan Walpole, Calt...
To ensure the operability and reliability of large scale Enterprise Resource Planning Systems (ERP) and enterprise services, a peak-load oriented hardware sizing is often used, wh...
Valentin Nicolescu, Martin Wimmer, Raphael Geissle...
However utilizing rich, interactive solutions can make learning more effective and attractive, scenarioand game-based educational resources on the web are not widely used. Creatin...