Sciweavers

602 search results - page 33 / 121
» Recursive in A Generic Real
Sort
View
JSYML
2010
107views more  JSYML 2010»
13 years 6 months ago
A proof of completeness for continuous first-order logic
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
Arthur Paul Pedersen, Itay Ben-Yaacov
CCA
2005
Springer
14 years 1 months ago
Effectively Open Real Functions
A function f is continuous iff the pre-image f −1[V ] of any open setV is open again. Dual to this topological7 property, f is called open iff the image f [U] of any open set U ...
Martin Ziegler
CVPR
2000
IEEE
14 years 3 days ago
A Fast and Robust Approach to Recovering Structure and Motion from Live Video Frames
This paper describes a fast and robust approach to recovering structure and motion from video frames. It rst describes a robust recursive factorization method for ane projection...
Takeshi Kurata, Jun Fujiki, Masakatsu Kourogi, Kat...
PG
2007
IEEE
14 years 1 months ago
QAS: Real-Time Quadratic Approximation of Subdivision Surfaces
We introduce QAS, an efficient quadratic approximation of subdivision surfaces which offers a very close appearance compared to the true subdivision surface but avoids recursion,...
Tamy Boubekeur, Christophe Schlick
PG
2003
IEEE
14 years 29 days ago
A State Machine for Real-Time Cutting of Tetrahedral Meshes
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
Daniel Bielser, Pascal Glardon, Matthias Teschner,...