Results 231 to 240 of about 2,277,084 (288)

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

COUNTABLE MODELS OF COMPLETE ORDERED THEORIES

Доклады Российской академии наук. Математика, информатика, процессы управления, 2023
The article consists of observations regarding complete theories of countable signatures and their countable models. We provide a construction of a countable linearly ordered theory which has the same number of countable non-isomorphic models as the given countable, not necessarily linearly ordered, theory.
Zambarnaya, T. S., Baizhanov, B. S.
openaire   +2 more sources

Completely ununified standard model

Physical Review D, 1990
A model of electroweak interactions is presented in which quarks transform under the quark-matter electroweak symmetry {ital G}{sup {ital q}}=SU(2){sub {ital L}}{sup {ital q}}{times}U(1){sub {ital Y}}{sup {ital q}} and leptons transform under the leptonic-matter electroweak symmetry {ital G}{sup {ital l}}=SU(2){sub {ital L}}{sup {ital l}}{times}U(1 ...
openaire   +2 more sources

Home - About - Disclaimer - Privacy