In this paper, a dynamic programming (DP) method, concerning the edge detection of infrared (IR) target from a given field background, is proposed. It involves locally adaptive threshold technique and fractal theory. ...
详细信息
ISBN:
(纸本)0780384075
In this paper, a dynamic programming (DP) method, concerning the edge detection of infrared (IR) target from a given field background, is proposed. It involves locally adaptive threshold technique and fractal theory. Firstly, optimal control function based on different fractal dimensions and gray level features on infrared image is created. the second step is to seek latent object point by locally adaptive threshold technique and to calculate the minimum cumulative cost matrix. Finally optimal and connected contours are determined by DP. Experiments with real targets show that the method can detect target effectively and reduce false alarm probability.
the Dagstuhl Initiative for systematic benchmarking in answer set programming (ASP) is discussed. Benchmarking is needed in ASP to establish a good practices in the fields of satisfiablity testing and constraint progr...
详细信息
ISBN:
(纸本)354020721X
the Dagstuhl Initiative for systematic benchmarking in answer set programming (ASP) is discussed. Benchmarking is needed in ASP to establish a good practices in the fields of satisfiablity testing and constraint programming. the ASP is facing difficulty of not having a common input language and disagreement on all functionalities. the benchmarking system facilitates the execution of ASP solvers under the same conditions, quaranteeing reproducible and reliable performance outputs.
the exploitation of ASP systems for solving real application problems pointed out the need of combining the expressive power of ASP programming withthe efficient data management features of existing DBMSs. this paper...
详细信息
ISBN:
(纸本)354020721X
the exploitation of ASP systems for solving real application problems pointed out the need of combining the expressive power of ASP programming withthe efficient data management features of existing DBMSs. this paper presents DLVDB, an extension to the DLV system allowing to instantiate logic programs directly on databases and to handle input and output data distributed on several databases.
We describe WSAT(CC), a local-search solver for computing models of theories in the language of propositional logic extended by cardinality atoms. WSAT(CC) is a processing back-end for the logic PS+, a recently propos...
详细信息
ISBN:
(纸本)354020721X
We describe WSAT(CC), a local-search solver for computing models of theories in the language of propositional logic extended by cardinality atoms. WSAT(CC) is a processing back-end for the logic PS+, a recently proposed formalism for answer-set programming.
LPEQ and DLPEQ, two translators for automated equivalence testing of logic programs are discussed. the translators LPEQ and DLPEQ have been implemented in the C programming language under the Linux operating system. B...
详细信息
ISBN:
(纸本)354020721X
LPEQ and DLPEQ, two translators for automated equivalence testing of logic programs are discussed. the translators LPEQ and DLPEQ have been implemented in the C programming language under the Linux operating system. Both translators take two logic programs and command line options as their input and produce a translation for equivalence testing as their output. the input files are assumed to be in an internal format, as produced by the front-end LPARSE of the SMODELS system.
the problem of determining a safe trajectory of a ship moving in a restricted area is presented. Goals and constraints are formulated for the optimal trajectory of ship movement in a fairway. the problem is presented ...
详细信息
ISBN:
(数字)9783540248446
ISBN:
(纸本)3540221239
the problem of determining a safe trajectory of a ship moving in a restricted area is presented. Goals and constraints are formulated for the optimal trajectory of ship movement in a fairway. the problem is presented as an optimization problem in a fuzzy environment. To solve it, the method of fuzzy linear programming is proposed. the results for a ship passing manoeuvre are given and conclusions are drawn.
One of the major reasons for the success of answer set programming in recent years was the shift from a theorem proving to a constraint programming view: problems are represented such that stable models, respectively ...
详细信息
ISBN:
(纸本)354020721X
One of the major reasons for the success of answer set programming in recent years was the shift from a theorem proving to a constraint programming view: problems are represented such that stable models, respectively answer sets, rather than theorems correspond to solutions. this shift in perspective proved extremely fruitful in many areas. We believe that going one step further from a "hard" to a "soft" constraint programming paradigm, or, in other words, to a paradigm of qualitative optimization, will prove equally fruitful. In this paper we try to support this claim by showing that several generic problems in logic based problem solving can be understood as qualitative optimization problems, and that these problems have simple and elegant formulations given adequate optimization constructs in the knowledge representation language.
A new system CMODELS-2 which is able to fix ASSAT's disadvantages was presented. It was found that the new system organizes the search process more efficiently than ASSAT as it does not explore the same part of th...
详细信息
ISBN:
(纸本)354020721X
A new system CMODELS-2 which is able to fix ASSAT's disadvantages was presented. It was found that the new system organizes the search process more efficiently than ASSAT as it does not explore the same part of the search tree more than once. the input language of CMODELS is generated by the preprocessor LPARSE. CMODELS is an answer set solver that uses SAT solvers as search engines.
An approach where stable models of Disjunctive Logic Programs (DLPs) are computed using SMODELS as a core engine is discussed. the approach is based on two program transformations using which the key tasks in computin...
详细信息
ISBN:
(纸本)354020721X
An approach where stable models of Disjunctive Logic Programs (DLPs) are computed using SMODELS as a core engine is discussed. the approach is based on two program transformations using which the key tasks in computing disjunctive stable models can be reduced to computing stable models for normal programs. the implementation is based on an architecture where two SMODELS search engines interact. One of the engines is responsible for generating model candidates for a DLP given as input and the other checks for the minimality of the candidates.
In this paper, we present an algorithm for speech input statistical translation. this algorithm is a dynamic-programming based algorithm, which uses a word graph in the input as a representation of the acoustic of a g...
详细信息
ISBN:
(纸本)3540230491
In this paper, we present an algorithm for speech input statistical translation. this algorithm is a dynamic-programming based algorithm, which uses a word graph in the input as a representation of the acoustic of a given utterance. A beam-search implementation of this algorithm has been made and experimental results withthe so called EUTRANS-I task are presented.
暂无评论