Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 1
نویسندگان
چکیده
منابع مشابه
The Principles of Fuzzy Logic: Its Mathematical and Computational Aspects
2 Vagueness, Uncertainty and Fuzzy Logic 2 2.1 Vagueness and Uncertainty . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2.2 Vagueness and Fuzzy Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.3 What Is Fuzzy Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.4 Agenda of Fuzzy Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملFoundations of Computational Intelligence, Volume 1: Learning and Approximation
Learning methods and approximation algorithms are fundamental tools that deal with computationally hard problems and problems in which the input is gradually disclosed over time. Both kinds of problems have a large number of applications arising from a variety of fields, such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational financ...
متن کاملMathematical and Computational Foundations of Learning
Machine learning has become a core field in computer science. Over the last decade the statistical machine learning approach has been successfully applied in many areas such as bioinformatics, computer vision, robotics and information retrieval. The main reasons for the success of machine learning are its strong theoretical foundations and its multidisciplinary approach integrating aspects of c...
متن کاملMathematical Foundations of Logic and Functional Programming
As an introduction, we give some examples of logic programs and the intended semantics of them. A logic program is simply a (not necessarily finite!) set of program clauses. That is, there is no particular ordering of the clauses as in the case, say, imperative programs: a program here is just a set of constraints, a set of logical formulas describing the world in which the programming environm...
متن کاملMathematical Foundations of Computational Anatomy ( MFCA ' 06 )
In inter-subject registration, one often lacks a good model of the transformation variability to choose the optimal regularization. Some works attempt to model the variability in a statistical way, but the re-introduction in a registration algorithm is not easy. In [1], we interpreted the elastic energy as the distance of the Green-St Venant strain tensor to the identity. By changing the Euclid...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1995
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/38.3.260