Τμήμα Πληροφορικής / Department of Computer Science: Recent submissions
Now showing items 1061-1080 of 1952
-
Article
Intelligent data analysis for medical diagnosis: Using machine learning and temporal abstraction
(1998)
-
Article
A Family of Resource-Bound Real-Time Process Algebras
(2006)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
-
Article
A general resource framework for real-time systems
(2004)The paper describes a formal framework for designing and reasoning about resource-constrained systems. The framework is based on a series of process algebraic formalisms which have been previously developed to describe and ...
-
Conference Object
Human Mobility Computing and Privacy: Fad or Reality?
(Institute of Electrical and Electronics Engineers Inc., 2015)The advent of mobile computing and sensing technologies, in conjunction with omni-present and high-speed mobile networks, allow nowadays the capture of human mobility data at an extremely high fidelity. Modern mobile ...
-
Article
Resources in process algebra
(2007)The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends ...
-
Conference Object
The airplace indoor positioning platform for Android smartphones
(2012)In this demonstration paper, we present an indoor positioning system developed for Android smartphones, coined Airplace. To infer the unknown user location we rely on ubiquitous WLANs and exploit Received Signal Strength ...
-
Conference Object
Crowdsourced indoor localization for diverse devices through radiomap fusion
(IEEE Computer Society, 2013)Crowdsourcing is an emerging field that allows to tackle difficult problems by soliciting contributions from common people, rather than trained professionals. In the post-pc era, where smartphones dominate the personal ...
-
Conference Object
Mobile Data Management in Indoor Spaces
(Institute of Electrical and Electronics Engineers Inc., 2015)This advanced seminar presents the fundamental mobile data management concepts behind the realization of innovative indoor information services that deal with all aspects of handling indoor data as a valuable resource, ...
-
Article
Foreword
(2013)
-
Conference Object
Demonstration abstract: Sensor mockup experiments with SmartLab
(IEEE Computer Society, 2014)In this demonstration paper we present SmartLab1, an architecture for managing a cluster of both Android Real Devices (ARDs) and Android Virtual Devices (AVDs) via an intuitive web-based interface. Our architecture consists ...
-
Conference Object
Scalable Mockup Experiments on Smartphones Using Smart Lab
(Institute of Electrical and Electronics Engineers Inc., 2015)In this paper we present a comprehensive architecture to carry out experimental repeatability studies on clusters of smartphones. Our architecture is founded on Smart Lab1, our in-house architecture for managing real and ...
-
Article
Managing big data experiments on smartphones
(2016)The explosive number of smartphones with ever growing sensing and computing capabilities have brought a paradigm shift to many traditional domains of the computing field. Re-programming smartphones and instrumenting them ...
-
Conference Object
CLODA: A crowdsourced linked open data architecture
(2013)In this paper we present our Crowdsourced Linked Open Data Architecture (CLODA), a first attempt to combine crowdsourcing, localization and location-based services to generate, collect, validate and relate real-world, ...
-
Article
Assessment of stroke risk based on morphological ultrasound image analysis with conformal prediction
(2010)Non-invasive ultrasound imaging of carotid plaques allows for the development of plaque image analysis in order to assess the risk of stroke. In our work, we provide reliable confidence measures for the assessment of stroke ...
-
Conference Object
Performance evaluation of mobile IPv6 handover extensions in an IEEE 802.11b wireless network environment
(2006)In order to support mobile users, the basic Internet protocols have been extended with protocols (e.g., Mobile IPv6) for intercepting and forwarding packets to a mobile and possibly roaming node. Seamless roaming requires ...
-
Conference Object
Performance-effective operation below Vcc-min
(2010)Continuous circuit miniaturization and increased process variability point to a future with diminishing returns from dynamic voltage scaling. Operation below Vcc-min has been proposed recently as a mean to reverse this ...
-
Article
Comparing Different Classifiers for Automatic Age Estimation
(2004)We describe a quantitative evaluation of the performance of different classifiers in the task of automatic age estimation. In this context, we generate a statistical model of facial appearance, which is subsequently used ...
-
Article
An extension of a hierarchical reinforcement learning algorithm for multiagent settings
(2012)This paper compares and investigates single-agent reinforcement learning (RL) algorithms on the simple and an extended taxi problem domain, and multiagent RL algorithms on a multiagent extension of the simple taxi problem ...
-
Article
Exploiting course grain parallelism from FORTRAN by mapping it to IF1
(1998)FORTRAN, a classical imperative language is mapped into IF1, a machine-independent dataflow graph description language with Single Assingment Semantics (SAS). Parafrase 2 (P2) is used as the front-end of our system. It ...
-
Article
Evaluation of the risk of stroke with confidence predictions based on ultrasound carotid image analysis
(2012)Conformal Predictors (CPs) are Machine Learning algorithms that can provide reliable confidence measures to their predictions. In this work, we make use of the Conformal Prediction framework for the assessment of stroke ...