ARITH
2015
IEEE
8 years 3 months ago
2015
IEEE
Abstract—This work introduces an approach to the computerassisted implementation of mathematical functions geared toward special functions such as those occurring in mathematical...
ARITH
2015
IEEE
8 years 3 months ago
2015
IEEE
—Automated reasoning tools often provide little or no support to reason accurately and efficiently about floating-point arithmetic. As a consequence, software verification sys...
PERCOM
2015
ACM
8 years 3 months ago
2015
ACM
More and more renewable sources are integrated into electric power grids worldwide. Their high generation dynamics, however, require power grid operators to monitor electricity ge...
PERCOM
2015
ACM
8 years 3 months ago
2015
ACM
Smartphones are being increasingly used to perform financial transactions (through m-banking, virtual wallet or as a smartcard). The latter applications involve contactless techn...
PERCOM
2015
ACM
8 years 3 months ago
2015
ACM
This research presents a mobile augmented reality (MAR) travel guide, named CorfuAR, which supports personalized recommendations. We report the development process and devise a th...
PERCOM
2015
ACM
8 years 3 months ago
2015
ACM
This paper presents a real-world application targeting energy savings and user comfort in a Smart Building environment. The proposed system uses various heterogeneous networks of w...
PERCOM
2015
ACM
8 years 3 months ago
2015
ACM
Many security problems in smartphones and other smart devices are approached from an anomaly detection perspective in which the main goal reduces to identifying anomalous activity...
PERCOM
2015
ACM
8 years 3 months ago
2015
ACM
Human mobility prediction is an important problem which has a large number of applications, especially in context-aware services. This paper presents a study on location predictio...
PERCOM
2015
ACM
8 years 3 months ago
2015
ACM
Stay points are important for recognizing significant places from a mobile user’s GPS trajectory. Such places are often located indoors and in urban canyons, where GPS is unrel...
PERCOM
2015
ACM
8 years 3 months ago
2015
ACM
—Smartphone sensing research has been advancing at a brisk pace. Yet, current social networking services often only take advantage of location sensing: applications like Foursqua...