634 search results - page 103 / 127 » Completion Procedures as Semidecision Procedures |
WSCG
2003
13 years 9 months ago
2003
This paper proposes a rational classification of Islamic Geometric Patterns (IGP) based on the Minimum Number of Grids (MNG) and Lowest Geometric Shape (LGS) used in the construct...
NIPS
1998
13 years 9 months ago
1998
Inference is a key component in learning probabilistic models from partially observable data. When learning temporal models, each of the many inference phases requires a complete ...
MVA
2000
13 years 9 months ago
2000
In this paper, we propose a new method for 3D reconstruction from three cameras based on the projective geometry. If the subject is just synthesizing images from new viewpoint, 3D...
ANLP
1992
13 years 9 months ago
1992
While complete understanding of arbitrary input text remains in the future, it is currently possible to construct natural language processing systems that provide a partial unders...
C3S2E
2010
ACM
13 years 9 months ago
2010
ACM
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...