This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
This paper explores the use of camera phones with pen input as a platform for generating digital annotations to realworld objects. We analyze the client-side requirements for a ge...
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
This paper proposes two indicators for predicting the quality of camera model parameters from a set of input images. The first indicator is based on the acutance. It can quickly i...
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...