ARITH
2015
IEEE
8 years 21 days 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...
ACII
2015
Springer
8 years 23 days ago
2015
Springer
—Addressing the structural and functional variability between subjects for robust affective brain-computer interface (aBCI) is challenging but of great importance, since the cali...
ACII
2015
Springer
8 years 23 days ago
2015
Springer
Abstract—Imitation is an important aspect of emotion recognition. We present an expression training interface which evaluates the imitation of facial expressions and head movemen...
ADHOC
2015
8 years 24 days ago
2015
Yoking (or grouping) proofs were introduced in 2004 as a security construction for RFID applications in which it is needed to build an evidence that several objects have been scan...
ADHOC
2015
8 years 24 days ago
2015
In the context of wireless sensor networks, we are motivated by the design of a tree network spanning a set of source nodes that generate packets, a set of additional relay nodes ...
ADHOC
2015
8 years 24 days ago
2015
In this paper, we propose GreenSlot, a scheduler for parallel batch jobs in a datacenter powered by a photovoltaic solar array and the electrical grid (as a backup). GreenSlot pre...
ADHOC
2015
8 years 24 days ago
2015
Social Delay Tolerant Networks (SDTNs) are a special kind of Delay Tolerant Network (DTN) that consists of a number of mobile devices with social characteristics. The current rese...
ADHOC
2015
8 years 24 days ago
2015
ADHOC
2015
8 years 24 days ago
2015
Although link scheduling has been used to improve the performance of data gathering applications, unfortunately, existing link scheduling algorithms are either centralized or they...
ADHOC
2015
8 years 24 days ago
2015
It is foreseeable that in the few upcoming years, real time traffic information, including road incidents notifications, will be collected and disseminated by mobile vehicles, t...