Three-dimensional object recognition
ACM Computing Surveys (CSUR) - Annals of discrete mathematics, 24
A Shape From Shading Analysis for a Single Perspective Image of a Polyhedron
IEEE Transactions on Pattern Analysis and Machine Intelligence
Towards a compiler for a constraint language
IEA/AIE '89 Proceedings of the 2nd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 1
A Simplex-Like Algorithm for the Relaxation Labeling Process
IEEE Transactions on Pattern Analysis and Machine Intelligence
The Recovery and Understanding of a Line Drawing from Indoor Scenes
IEEE Transactions on Pattern Analysis and Machine Intelligence - Special issue on interpretation of 3-D scenes—part II
A Novel Discrete Relaxation Architecture
IEEE Transactions on Pattern Analysis and Machine Intelligence
ConstraintLisp: an object-oriented constraint programming language
ACM SIGPLAN Notices
Journal of the ACM (JACM)
Eliminating redundant barrier synchronizations in rule-based programs
ICS '96 Proceedings of the 10th international conference on Supercomputing
Indexing of Technical Line Drawing Databases
IEEE Transactions on Pattern Analysis and Machine Intelligence
The cyclic order property of vertices as an aid in scene analysis
Communications of the ACM
Synthesizing constraint expressions
Communications of the ACM
Convergence Properties of Optimization Algorithms for the SAT Problem
IEEE Transactions on Computers
Global Optimization for Satisfiability (SAT) Problem
IEEE Transactions on Knowledge and Data Engineering
Generic Object Recognition: Building and Matching Coarse Descriptions from Line Drawings
IEEE Transactions on Pattern Analysis and Machine Intelligence
Parallel Implementation of Constraint Solving
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Arc Consistency on n-ary Monotonic and Linear Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic (TOCL)
TINLAP '75 Proceedings of the 1975 workshop on Theoretical issues in natural language processing
Letting the cat out of the bag: generation for shake-and-bake MT
COLING '92 Proceedings of the 14th conference on Computational linguistics - Volume 2
A comparison of human and computer vision systems: a tutorial
ACM SIGART Bulletin
Representation and use of knowledge in vision
ACM SIGART Bulletin
Propositional Satisfiability and Constraint Programming: A comparative survey
ACM Computing Surveys (CSUR)
What is decreased by the max-sum arc consistency algorithm?
Proceedings of the 24th international conference on Machine learning
Visual Learning from Multiple Views
IEEE Transactions on Computers
Building a Distance Function for Gestalt Grouping
IEEE Transactions on Computers
Properties of tree convex constraints
Artificial Intelligence
Probabilistic relaxation labelling using the Fokker-Planck equation
Pattern Recognition
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Recognition using semantic constraints
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
A computer system for visual recognition using active knowledge
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Range data understanding guided by a junction dictionary
IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Solving mechanics problems using meta-level inference
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
What is perceptual organization for?
IJCAI'83 Proceedings of the Eighth international joint conference on Artificial intelligence - Volume 2
A universal programming language
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 1
Consistency techniques for numeric CSPs
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Optimistic parallel discrete relaxation
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
A versatile computer-controlled assembly system
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
Interpreting pictures of polyhedral scenes
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
A semantics-based decision theory region analyzer
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
A theoretical framework for consistency techniques in logic programming
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Increasing functional constraints need to be checked only once
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Interval propagation and search on directed acyclic graphs for numerical constraint solving
Journal of Global Optimization
Probabilistic relaxation labeling by Fokker-Planck diffusion on a graph
GbRPR'07 Proceedings of the 6th IAPR-TC-15 international conference on Graph-based representations in pattern recognition
AllDifferent-based filtering for subgraph isomorphism
Artificial Intelligence
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
The Knowledge Engineering Review
A dynamic programming approach to reconstructing building interiors
ECCV'10 Proceedings of the 11th European conference on Computer vision: Part V
Robust methods and representations for soccer player tracking and collision resolution
CIVR'05 Proceedings of the 4th international conference on Image and Video Retrieval
A graph spectral approach to consistent labelling
ICIAR'06 Proceedings of the Third international conference on Image Analysis and Recognition - Volume Part II
Can machines interpret line drawings?
SBM'04 Proceedings of the First Eurographics conference on Sketch-Based Interfaces and Modeling
A two-stage approach for interpreting line drawings of curved objects
SBM'04 Proceedings of the First Eurographics conference on Sketch-Based Interfaces and Modeling
Hi-index | 0.04 |