171
click to vote
MSCS
9 years 8 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...
178
click to vote
MR
9 years 8 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...
153
click to vote
RAS
9 years 8 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
9 years 8 months ago
2016 114
click to vote
RAS
9 years 8 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...
|
Robotics