305
Voted
MSCS
10 years 4 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...
307
Voted
MR
10 years 4 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...
272
click to vote
RAS
10 years 3 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...
189
Voted
RAS
10 years 3 months ago
2016 218
Voted
RAS
10 years 3 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