163
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...
170
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...
145
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 106
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