We describe the design and implementation of a finite domain constraint solver embedded in a Prolog system using an extended unification mechanism via attributed variables as a generic constraint interface. the solver...
详细信息
the proceedings contain 88 papers. the special focus in this conference is on Segmentation, Image Analysis and Pattern Recognition. the topics include: Challenges and opportunities for PRandCV research in year 2000 an...
ISBN:
(纸本)3540635076
the proceedings contain 88 papers. the special focus in this conference is on Segmentation, Image Analysis and Pattern Recognition. the topics include: Challenges and opportunities for PRandCV research in year 2000 and beyond;multi-scale gradient magnitude watershed segmentation;segmentation of multispectral images of works of art through principal component analysis;multiscale edge detection via normal changes;extending adjacency to fuzzy sets for coping with imprecise image objects;adaptive selection of image classifiers;classification reliability and its use in multi-classifier systems;color linear model;a computational approach to color illusions;improved textured images segmentation using an energy functional;contribution to the colour segmentation by means of an algorithm which reduces the CCDs saturation problems;pyramid-based multi-sensor image data fusion with enhancement of textural features;texture analysis using pairwise interaction maps;estimation of the color image gradient with perceptual attributes and contour line extraction from color images of scanned maps.
Gapped and ungapped sequence alignment were tested as possible methods to classify proteins into the functional classes defined by the international Enzyme Commission (EC). We exhaustively tested all 15,208 proteins l...
详细信息
the paper concentrates on the problem how to integrate genetic programming, neural networks, autonomous agents with some symbolic AI techniques. For this purpose, al introduces and employs the $-calculus, which is a g...
详细信息
ISBN:
(纸本)0818682043
the paper concentrates on the problem how to integrate genetic programming, neural networks, autonomous agents with some symbolic AI techniques. For this purpose, al introduces and employs the $-calculus, which is a general model of computation with a quantitative aspect (cost) allowing naturally to express optimization and modification in dynamic parallel AI systems. the papers presents basic operators of-the calculus, and a basic inference engine, so called modifying algorithm, used for problem solving. Next the approach is illustrated through a series of examples from various domains, including symbolic and subsymbolic systems.
Teaching introductory computing courses with Scheme elevates the intellectual level of the course and thus makes the subject more appealing to students with scientific interests. Unfortunately, the poor quality of the...
详细信息
the computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automation, among others. In this paper we des...
详细信息
the computation of prime implicants has several and significant applications in different areas, including Automated Reasoning, Non-Monotonic Reasoning, Electronic Design Automation, among others. In this paper we describe a new model and algorithm for computing minimum-size prime implicants of propositional formulas. the proposed approach is based on creating an integer linear program (ILP) formulation for computing the minimum-size prime implicant, which simplifies existing formulations. In addition, we introduce two new algorithms for solving ILPs, both of which are built on top of an algorithm for propositional satisfiability (SAT). Given the organization of the proposed SAT algorithm, the resulting ILP procedures implement powerful search pruning techniques, including a non-chronological backtracking search strategy, clause recording procedures and identification of necessary assignments. Experimental results, obtained on several benchmark examples, indicate that the proposed model and algorithms are significantly more efficient than other existing solution.
this paper presents a new procedure of partial deduction of various constraint logic programs. the procedure takes a program-goal pair (P0, Q0) as input and outputs a resultant program-goal pair (Pn, Qn). the procedur...
详细信息
this paper presents a new procedure of partial deduction of various constraint logic programs. the procedure takes a program-goal pair (P0, Q0) as input and outputs a resultant program-goal pair (Pn, Qn). the procedure always terminates and the computational equivalence of the program-goal pairs (P0, Q0) and (Pn, Qn) is preserved. Pn is more efficient in solving Qn than P0 in solving Q0. Our procedure is based on the idea of program transformation, using transformation rules such as unfolding, constraint simplification, code deletion with respect to a goal, introduction of a newly defined clause, and folding. We have implemented the procedure in an integrated partial deduction system, which can work with Prolog, CLP(Bool), and CLP(R) programs. Our results are compared withthose resulting from other partial deduction methods, and it is shown that our method generates more succinct and efficient resultant programs in general.
In this paper, a multi-level dynamic programming approach is used to solve the line segment based correspondence problem in axial motion stereo. In this method, a Local Similarity Measure is calculated for each line s...
详细信息
We address the problem of locating and extracting frame curves on interesting image areas. Reference frames, focus of attention, bounding contours of shapes, axis of inertia, centers of masses and other mid-level visu...
详细信息
this article describes an experiment to evaluate the relative effectiveness of functional-decomposition and object-orientation as paradigms for client/developer communication in the early stages of the system developm...
详细信息
this article describes an experiment to evaluate the relative effectiveness of functional-decomposition and object-orientation as paradigms for client/developer communication in the early stages of the system development process. the subjects were 20 executives attending a management development program. the experimental task required the subjects to comment critically on the content and format of two analyses of equivalent content. the first analysis took the form of a functional-decomposition. the second analysis took the form of an object-model. the results suggest that functional-decomposition is the more effective of the two paradigms as a vehicle for early client/developer communication. Also, the subjects judged the functional-decomposition to be superior to the object-model on a number of important attributes.
暂无评论