Sciweavers

602 search results - page 17 / 121
» Recursive in A Generic Real
Sort
View
CVPR
2003
IEEE
14 years 9 months ago
Fusing Online and Offline Information for Stable 3D Tracking in Real-Time
We propose an efficient online real-time solution for singlecamera 3?D tracking of rigid objects that can handle large camera displacements, drastic aspect changes, and partial oc...
Luca Vacchetti, Vincent Lepetit, Pascal Fua
ISSAC
1992
Springer
95views Mathematics» more  ISSAC 1992»
13 years 11 months ago
Real Algebraic Closure of an Ordered Field: Implementation in Axiom
Real algebraic numbers appear in many Computer Algebra pro bJems. For inst ante the determination of a cylindrical algebraic decomposition for an euclidian space requires compu ti...
Renaud Rioboo
CASES
2007
ACM
13 years 11 months ago
Stack size reduction of recursive programs
For memory constrained environments like embedded systems, optimization for program size is often as important, if not more important, as optimization for execution speed. Commonl...
Stefan Schäckeler, Weijia Shang
DBPL
1995
Springer
106views Database» more  DBPL 1995»
13 years 11 months ago
On Impossibility of Decremental Recomputation of Recursive Queries in Relational Calculus and SQL
We study the problem of maintaining recursively-de ned views, such as the transitive closure of a relation, in traditional relational languages that do not have recursion mechanis...
Guozhu Dong, Leonid Libkin, Limsoon Wong
CAISE
2003
Springer
14 years 26 days ago
Developing Application-Centric Methods
Meta-models and Generic models have been built in the area of Information Systems to facilitate the task of system designers. It de-emphasises the view under which applications are...
Naveen Prakash, M. P. S. Bhatia