Invariant Properties of Straight Homogeneous Generalized Cylinders and Their Contours
IEEE Transactions on Pattern Analysis and Machine Intelligence
Learning internal representations by error propagation
Parallel distributed processing: explorations in the microstructure of cognition, vol. 1
The nature of statistical learning theory
The nature of statistical learning theory
Performance characterization of image understanding algorithms
Performance characterization of image understanding algorithms
Three dimensional object interpretation of monocular gray-scale images
Three dimensional object interpretation of monocular gray-scale images
A decision-theoretic generalization of on-line learning and an application to boosting
Journal of Computer and System Sciences - Special issue: 26th annual ACM symposium on the theory of computing & STOC'94, May 23–25, 1994, and second annual Europe an conference on computational learning theory (EuroCOLT'95), March 13–15, 1995
Improved Boosting Algorithms Using Confidence-rated Predictions
Machine Learning - The Eleventh Annual Conference on computational Learning Theory
Image Segmentation by Data-Driven Markov Chain Monte Carlo
IEEE Transactions on Pattern Analysis and Machine Intelligence
Representing and Recognizing the Visual Appearance of Materials using Three-dimensional Textons
International Journal of Computer Vision
Pedestrian Detection from a Moving Vehicle
ECCV '00 Proceedings of the 6th European Conference on Computer Vision-Part II
Combining Neural and Symbolic Learning to Revise Probabilistic Rule Bases
Advances in Neural Information Processing Systems 5, [NIPS Conference]
Neural Networks: Tricks of the Trade, this book is an outgrowth of a 1996 NIPS workshop
Towards Combining Inductive Logic Programming with Bayesian Networks
ILP '01 Proceedings of the 11th International Conference on Inductive Logic Programming
Evidential Reasoning for Object Recognition
IEEE Transactions on Pattern Analysis and Machine Intelligence
A Statistical Approach to Texture Classification from Single Images
International Journal of Computer Vision - Special Issue on Texture Analysis and Synthesis
Pedestrian Detection in Crowded Scenes
CVPR '05 Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Volume 1 - Volume 01
Histograms of Oriented Gradients for Human Detection
CVPR '05 Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Volume 1 - Volume 01
WaldBoost " Learning for Time Constrained Sequential Detection
CVPR '05 Proceedings of the 2005 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR'05) - Volume 2 - Volume 02
ICCV '05 Proceedings of the Tenth IEEE International Conference on Computer Vision (ICCV'05) Volume 1 - Volume 01
Context and Hierarchy in a Probabilistic Image Model
CVPR '06 Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 2
Fast Human Detection Using a Cascade of Histograms of Oriented Gradients
CVPR '06 Proceedings of the 2006 IEEE Computer Society Conference on Computer Vision and Pattern Recognition - Volume 2
A fast learning algorithm for deep belief nets
Neural Computation
International Journal of Computer Vision
A stochastic grammar of images
Foundations and Trends® in Computer Graphics and Vision
ECCV '08 Proceedings of the 10th European Conference on Computer Vision: Part II
PRISM: a language for symbolic-statistical modeling
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Learning probabilistic relational models
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
A simple-transition model for relational sequences
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Refinement of approximate domain theories by knowledge-based neural networks
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 2
Loglinear models for first-order probabilistic reasoning
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Discriminative probabilistic models for relational data
UAI'02 Proceedings of the Eighteenth conference on Uncertainty in artificial intelligence
Multivalued default logic for identity maintenance in visual surveillance
ECCV'06 Proceedings of the 9th European conference on Computer Vision - Volume Part IV
Bilattice-Based squares and triangles
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Preference modeling by rectangular bilattices
MDAI'06 Proceedings of the Third international conference on Modeling Decisions for Artificial Intelligence
Hierarchical Stochastic Image Grammars for Classification and Segmentation
IEEE Transactions on Image Processing
Hi-index | 0.00 |
Predicate logic based reasoning approaches provide a means of formally specifying domain knowledge and manipulating symbolic information to explicitly reason about different concepts of interest. Extension of traditional binary predicate logics with the bilattice formalism permits the handling of uncertainty in reasoning, thereby facilitating their application to computer vision problems. In this paper, we propose using first order predicate logics, extended with a bilattice based uncertainty handling formalism, as a means of formally encoding pattern grammars, to parse a set of image features, and detect the presence of different patterns of interest. Detections from low level feature detectors are treated as logical facts and, in conjunction with logical rules, used to drive the reasoning. Positive and negative information from different sources, as well as uncertainties from detections, are integrated within the bilattice framework. We show that this approach can also generate proofs or justifications (in the form of parse trees) for each hypothesis it proposes thus permitting direct analysis of the final solution in linguistic form. Automated logical rule weight learning is an important aspect of the application of such systems in the computer vision domain. We propose a rule weight optimization method which casts the instantiated inference tree as a knowledge-based neural network, interprets rule uncertainties as link weights in the network, and applies a constrained, back-propagation algorithm to converge upon a set of rule weights that give optimal performance within the bilattice framework. Finally, we evaluate the proposed predicate logic based pattern grammar formulation via application to the problems of (a) detecting the presence of humans under partial occlusions and (b) detecting large complex man made structures as viewed in satellite imagery. We also evaluate the optimization approach on real as well as simulated data and show favorable results.