This paper presents the MIMICS MMS rehabilitation system with a virtual rehabilitation task that includes several modes of haptic assistance. We observed the influence of these dif...
Jaka Ziherl, Domen Novak, Andrej Olensek, Marko Mu...
Abstract--The paper introduces DILOC, a distributed, iterative algorithm to locate sensors (with unknown locations) in 1, with respect to a minimal number of + 1 anchors with known...
Previous approaches to instruction interpretation have required either extensive domain adaptation or manually annotated corpora. This paper presents a novel approach to instructi...
Luciana Benotti, Martin Villalba, Tessa A. Lau, Ju...
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
In the near future, there will be increasingly powerful computers in smart cards, telephones, and other information appliances. This will create a massive infrastructure composed ...