The health sector uses clinical guidelines as instruments for helping decision making. We are interested in the development of a ubiquitous decision support system (UDSS) for clini...
We present an e cient technique for dynamically tessellating generalized cylinders. We make direct use of the generalized cylinder's screen-space projection in order to minim...
Frequently the behaviour of an information system is functionally correct, but it does not meet some quality criteria, such as completeness, consistency, and usability. One way to...
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
Michael Backes, Agostino Cortesi, Riccardo Focardi...
This paper proposes a unique map learning method for mobile robots based on the co-visibility infor mation of objects i.e., the information on whether two objects are visible at...