Showing 1 to 10 of 9490 matching Articles
Results per page:
By
Kolingerová, Ivana
1 Citations
Some wellknown linepolyhedron intersection methods are summed up and new accelerating modifications presented. Results of comparison of known and newly developed methods are included. New methods use the fact that each line can be described as the intersection of two planes.
more …
By
Analyti, Anastasia; Pramanik, Sakti
A complex reasoning system can be designed as an interaction between reasoning modules. A module consists of a declaration of exported/imported predicates and a set of rules containing both negation by default and classical negation. A prioritized modular logic program (PMP) consists of a set of modules and a partial order <_{def} on the predicate definitions (M, p), where M is a module and p is a predicate exported by M. Because of the classical negation, conflicts may arise within and among modules. The partial order <_{def} denotes the relative reliability of the predicate definitions contributing to the conflict. We present the reliable semantics for PMPs. The goal of the reliable semantics is to draw reliable conclusions from possibly contradictory PMPs.
more …
By
Hannon, Bruce; Ruth, Matthias
Before the advent of modem computer technology and software, many modeling efforts and scientific experiments were designed for linear, often static systems, that had the advantage of being analytically solvable. The ways of thinking about system behavior and the tools applied to describe that behavior were deeply rooted in classical mechanics. This science was used to describe the behavior of whole classes of moving objects, such as pendulums, falling rocks, and projectiles. We modeled those systems in the previous chapter. The scientific paradigms associated with classical mechanics were not only applied in the realm of the natural sciences but increasingly influenced models of economic and ecological systems as well.
more …
By
Kuske, Dietrich
8 Citations
We introduce an operational model of concurrent systems, called nondeterministic automata with concurrency relations. These are nondeterministic labelled transition systems where the event set is endowed with a system of symmetric irreflexive binary relations which describe when two events in a particular state commute. This model generalizes the recent concept of Droste's automata with concurrency relations which are based on deterministic labelled transition systems. A permutation equivalence of computation sequences arises canonically, and we obtain a natural domain comprising the induced equivalence classes. We give a complete characterization of all such partial orders. Then we consider certain subclasses of all nondeterministic automata with concurrency relations and characterize the partial orders generated by them. Surprisingly, those automata which satisfy the cube axiom generate particular Ldomains, and so called stable automata which satisfy the cube and the inverse cube axiom generate particular distributive Ldomains. Restricting to the case of deterministic automata we finally give a representation theorem for dIdomains with particular stable deterministic automata.
more …
By
Arcos, Josep Lluís; Plaza, Enric
6 Citations
In this paper we will report our current research on the NOOS language, an attempt to provide a uniform representation framework for inference and learning components supporting flexible and multiple combination of these components. Rather than a specific combination of learning methods, we are interested in an architecture adaptable to different domains where multiple learning strategies (combinations of learning methods) can be programmed. Our approach derives from the knowledge modelling frameworks developed for the design and construction of KBSs based on the task/method decomposition principle and the analysis of knowledge requirements for methods. Our thesis is that learning methods are methods with introspection capabilities that can be also analyzed in the same task/method decomposition. In order to infer new decisions from the results and behavior of other inference processes, those results and behavior have to be represented and stored in the memory for the learning method to be able to work with them.
more …
By
Grohe, Martin
2 Citations
In this paper we prove that for each k, the expressive power of kary fixedpoint logic, i.e. the fragment of fixedpoint logic whose fixedpoint operators are restricted to arity ≤ k, strictly exceeds the power of (k − 1)ary fixedpoint logic. This solves a problem that was posed by Chandra and Harel in 1982.
Our proof has a rather general form that applies to several variants of fixedpoint logic and also to transitiveclosure logic.
more …
By
Sowa, Friedhelm
Zusammenfassung
Die Methodik der Integration von Graphiken in TEXDokumente durch die Interpretation des \specialBefehls oder richtiger der DVI operation codes 239 bis 242 ist entgegen der Hoffung von Donald E. Knuth, die er zu Ende des Kapitels 21 in The TEXbook äußerte, nicht vereinheitlicht worden. Zwar hat die TEX Users Group ein Komitee zur Entwicklung von Richtlinien für Treiberprogramme eingesetzt, jedoch ist diese Gruppe von den Fakten überholt worden. Sie sah sich mit Treibern konfrontiert, die mit einer unterschiedlichen Syntax die Lücke schlossen, die TEX in Bezug auf Graphik offen ließ. Diese Treiber haben sich im Laufe der Zeit etabliert und sind zu Standardtreibern geworden.
more …
By
Renovell, M.; Huc, P.; Bertrand, Y.
3 Citations
In order to simulate the effects of a bridging fault it is necessary to accurately determine the intermediate voltage of the shortednodes, deduce the intermediate voltage of the faulty gate output and compare it to the logic threshold voltage of the driven gates. This paper presents a general model called ”the Configuration Ratio model ” which can be used to determine if aparticular structure of transistors gives an intermediate voltage which is higher or lower than a given threshold voltage. The approach is extremely faster than the previous ones since no SPICE simulation is required. The accuracy is of 0.06V to compare with SPICE simulations. In case of library based design a preliminary library characterization is possible allowing a very fast time during fault simulation.
more …
