UI model discovery is a lightweight formal method in which a model of an interactive system is automatically discovered by exploring the system’s state space, simulating the act...
This paper presents the results of an investigation into the suitability of a Virtual Reality (VR) environment for case-based reasoning (CBR). The paper will show that for problem ...
The AlethGen tool has been used to build a system for automatically generating replies to complaints, for a European mail-order company. In the current version, letters are genera...
The backbone bond lengths, bond angles, and planarity of a protein are influenced by the backbone conformation (u,w), but no tool exists to explore these relationships, leaving th...
Donald S. Berkholz, Peter B. Krenesky, John R. Dav...
Multimedia scheduling models provide a rich variety of tools for managing the synchronization of media like video and audio, but generally have an inflexible model for time itself...