Abstract Received Signal Strength (RSS) based location systems are potential candidates to enable indoor location aware services due to pervasively available wireless local area ...
Location systems are core technologies for enabling pervasive computing smart spaces. Signal Strength based location estimation offers economical viability and sufficient accurac...
This paper addresses the problem of classifying actions performed by a human subject in a video sequence. A representation eigenspace approach based on the visual appearance is us...
Carlo Colombo, Dario Comanducci, Alberto Del Bimbo
- In this work we address the problem of perception, spatial cognition and topological navigation for a mobile robot. The objective of this work is to enable the navigation of an a...
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Pras...