Our goal is to identify the features that predict the occurrence and placement of discourse cues in tutorial explanations in order to aid in the automatic generation of explanatio...
Barbara Di Eugenio, Johanna D. Moore, Massimo Paol...
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
This paper proposes an integration test-bed system for supply chain management, which forms the foundation for the construction of a valued manufacturing chain. The core system of...
This paper demonstrates the use of simulation in an evaluative study for the technology of liver transplantation from cost-effectiveness point of view. This study is conducted in ...
Lynne P. Baldwin, Tillal Eldabi, Ray J. Paul, Andr...