MSCS
8 years 5 months ago
2016
The standard subtyping relation used in dyadic session type theories may compromise the liveness of multi-party sessions. In this paper we define a fair subtyping relation for mul...
MR
8 years 5 months ago
2016
— Stochastic computing utilizes compact arithmetic circuits that can potentially lower the implementation cost in silicon area. In addition, stochastic computing provides inheren...
RAS
8 years 5 months ago
2016
: One option to address the challenge of demographic transition is to build robots that enable aging in place. Falling has been identified as the most relevant factor to cause a mo...
RAS
8 years 5 months ago
2016 RAS
8 years 5 months ago
2016
Navigating within an unknown indoor environment using an electric wheelchair is a challenging task, especially if the user suffers from severe disabilities. In order to reduce fa...
|