ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
Paolo Giorgini, Fabio Massacci, John Mylopoulos, A...
In this study, we argue that modality planning in multimodal presentation systems needs to consider the modality characteristics at not only the presentational level but also the ...
Saliency-based analysis can be applied to time-varying 3D datasets purpose of summarization, abstraction, and motion analysis. As the sizes of time-varying datasets continue to gro...
Youngmin Kim, Robert Patro, Cheuk Yiu Ip, Dianne P...
Term extraction relates to extracting the most characteristic or important terms (words or phrases) in a document. This information is commonly used for improving the accuracy of ...