Phase change memory (PCM) is an emerging memory technology for future computing systems. Compared to other non-volatile memory alternatives, PCM is more matured to production, and...
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
Patients do considerable information work. Technologies that help patients manage health information so they can play active roles in their health-care, such as personal health re...
Predrag V. Klasnja, Andrea Civan-Hartzler, Kenton ...
Local search has become a hot topic recently in information retrieval research area. How to retrieve geographical information correctly and efficiently is a key challenge to locat...
Zhisheng Li, Chong Wang 0002, Xing Xie, Xufa Wang,...
Abstract. This paper addresses the issue of simplifying natural language texts in order to ease the task of accessing factual information contained in them. We define the notion of...
Beata Beigman Klebanov, Kevin Knight, Daniel Marcu