This paper revisits the model-based approaches for groupwise shape alignment. The key contribution is modeling the landmarks instead of considering them as nodes sliding along the...
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
Patrick Schaller, Benedikt Schmidt, David A. Basin...
Fingerprint individuality study deals with the crucial problem of the discriminative power of fingerprints for recognizing people. In this paper, we present a novel fingerprint in...
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
The advance in wireless networks and in positioning systems has led to the development of a new generation of mobile applications: location-based services (LBS). LBS offer highly ...
Hubert Ka Yau Leung, Ioana Burcea, Hans-Arno Jacob...