601 search results - page 28 / 121 » Quantified Equality Constraints |
85
Voted
DLOG
2007
15 years 3 months ago
2007
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
100
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
101
Voted
NIPS
2003
15 years 2 months ago
2003
What happens to the optimal interpretation of noisy data when there exists more than one equally plausible interpretation of the data? In a Bayesian model-learning framework the a...
112
Voted
ICASSP
2010
IEEE
15 years 26 days ago
2010
IEEE
The problem of minimizing the rank of a matrix subject to linear equality constraints arises in applications in machine learning, dimensionality reduction, and control theory, and...
107
Voted
CVPR
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we propose a symmetric stereo model to handle occlusion in dense two-frame stereo. Our occlusion reasoning is directly based on the visibility constraint that is mo...