Sciweavers

4397 search results - page 302 / 880
» Relational Algebra Operations
Sort
View
DAGM
2003
Springer
15 years 10 months ago
Pose Estimation of Free-Form Surface Models
In this article we discuss the 2D-3D pose estimation problem of 3D free-form surface models. In our scenario we observe free-form surface models in an image of a calibrated camera....
Bodo Rosenhahn, Christian Perwass, Gerald Sommer
FSE
2003
Springer
228views Cryptology» more  FSE 2003»
15 years 10 months ago
Further Observations on the Structure of the AES Algorithm
We present our further observations on the structure of the AES algorithm relating to the cyclic properties of the functions used in this cipher. We note that the maximal period of...
Beomsik Song, Jennifer Seberry
CSL
2001
Springer
15 years 9 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
VLDB
2001
ACM
123views Database» more  VLDB 2001»
15 years 9 months ago
User-Optimizer Communication using Abstract Plans in Sybase ASE
imizer Communication using Abstract Plans in Sybase ASE Query optimizers are error prone, due to both their nature and the increased search space that modern query processing requ...
Mihnea Andrei, Patrick Valduriez
WADT
1998
Springer
15 years 9 months ago
Non-deterministic Computations in ELAN
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
Hélène Kirchner, Pierre-Etienne More...