Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
Most user interface development methodologies have been conceived based on the experience from the development of traditional PC-based systems. However, computer and displays techn...
Due to the ‘semantic gap’ between low-level visual features and the rich semantics in user’s mind, performance of traditional contentbased image retrieval systems is far from...
In the United States and Europe, electronic health records (EHRs) allow information technology and decision-support to facilitate the activities of clinicians and are considered a...
Andrew S. Kanter, Amy Y. Wang, Fred E. Masarie Jr....