Sciweavers

10910 search results - page 63 / 2182
» Input modeling using a computer algebra system
Sort
View
TAPSOFT
1997
Springer
15 years 1 months ago
Specifying Complex and Structured Systems with Evolving Algebras
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...
Wolfgang May
PERVASIVE
2005
Springer
15 years 3 months ago
Camera Phones with Pen Input as Annotation Devices
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...
Michael Rohs, Christof Roduner
ER
2000
Springer
151views Database» more  ER 2000»
15 years 1 months ago
Algebraic Database Migration to Object Technology
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
Andreas Behm, Andreas Geppert, Klaus R. Dittrich
ICPR
2004
IEEE
15 years 11 months ago
Developing Assistant Tools for Geometric Camera Calibration: Assessing the Quality of Input Images
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...
Jean-Nicolas Ouellet, Patrick Hébert
ACSD
2003
IEEE
125views Hardware» more  ACSD 2003»
15 years 3 months ago
Modelling a Secure, Mobile, and Transactional System with CO-OPN
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...
Didier Buchs, Stanislav Chachkov, David Hurzeler