models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
When a mobile user dials 911, a key to arriving to the emergency scene promptly is knowing the location of the mobile user. This paper presents SkyLoc, a GSM fingerprinting-based ...
Alex Varshavsky, Anthony LaMarca, Jeffrey Hightowe...
In this paper, we propose the iris recognition system, which can select the good quality data between left and right eye images of same person. Although iris recognition system has...
Jain Jang, Kang Ryoung Park, Jinho Son, Yillbyung ...
—Efficient channel feedback methods are becoming more important in limited-feedback multi-user multiple input multiple output (MU-MIMO) systems. We propose a new Dynamic channEl...
When implementing a tutoring system that attempts a deep understanding of students’ natural language explanations, there are three basic approaches to choose between; symbolic, i...