Results 271 to 280 of about 2,267,483 (329)

Large-Scale Completion of Ionospheric TEC Maps Using Machine Learning Models With Constraints Conditions

open access: gold
Qingfeng Li   +5 more
openalex   +1 more source

Interactive 3D Model Completion

9th Biennial Conference of the Australian Pattern Recognition Society on Digital Image Computing Techniques and Applications (DICTA 2007), 2007
A common problem when using automated structure from motion techniques is that the object to be modelled can only be partially reconstructed from the video. This can occur because not all of the object is visible in the video, or because of featureless or ambiguous regions on the object's surface.
van den Hengel, A   +4 more
openaire   +1 more source

Nearly Model Complete Theories

Mathematical Logic Quarterly, 1999
AbstractA theory T of a language L is 1‐model complete (nearly model complete) iff for every formula ρ of L there is a formula ϕ (χ) of L which is a ∀∃‐formula (a Boolean combination of universal formulas) such that T ⊨ ∀x[ϕ↔θ]. The main results of the paper give characterizations of nearly model complete theories and of 1‐model complete theories. As a
Kueker, David W., Turnquist, Brian P.
openaire   +1 more source

Home - About - Disclaimer - Privacy