An attempt to formalize the notion of heuristics in state space
An extension of the pseudobayesian model by making use of Dempster-Shafer's theory
Analogie - užitečná heuristická strategie
This article describes a heuristic strategy of analogy and illustrates it by five school mathematics examples. These examples are efficiently solved while using such a strategy.
Analysis of problem solving process of a mental rotations test. Performance in Shepard-Metzler tasks.
Analýza problémov lokálneho prehľadávania a ich heuristík
Ant algorithm for grid scheduling powered by local search.
Ant-based extraction of rules in simple decision systems over ontological graphs
In the paper, the problem of extraction of complex decision rules in simple decision systems over ontological graphs is considered. The extracted rules are consistent with the dominance principle similar to that applied in the dominancebased rough set approach (DRSA). In our study, we propose to use a heuristic algorithm, utilizing the ant-based clustering approach, searching the semantic spaces of concepts presented by means of ontological graphs. Concepts included in the semantic spaces are values...
Approximate Model Checking of Real-Time Systems for Linear Duration Invariants
Real-time systems are usually modelled with timed automata and real-time requirements relating to the state durations of the system are often specifiable using Linear Duration Invariants, which is a decidable subclass of Duration Calculus formulas. Various algorithms have been developed to check timed automata or real-time automata for linear duration invariants, but each needs complicated preprocessing and exponential calculation. To the best of our knowledge, these algorithms have not been implemented....
Approximation of proximities by aggregating T-indistinguishability operators.
Automatic Video Annotation with Forests of Fuzzy Decision Trees.