220
click to vote
MSCS
10 years 17 days 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...
224
click to vote
MR
10 years 17 days ago
2016 
— Stochastic computing utilizes compact arithmetic circuits that can potentially lower the implementation cost in silicon area. In addition, stochastic computing provides inheren...
191
click to vote
RAS
10 years 16 days 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...
152
click to vote
RAS
10 years 16 days 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