This paper presents a social and personal context modeling method on mobile device. It infers user’s contexts, such as amity with others and emotional state, from uncertain logs...
In this article we present a new method to enhance object detection by removing false alarms in a principled way with few parameters. The method models the output of an object cla...
Pervasive computing envisions implicit interaction between people and their intelligent environments instead of individual devices, inevitably leading to groups of individuals inte...
Dawud Gordon, Jan-Hendrik Hanne, Martin Berchtold,...
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...