3047 search results - page 473 / 610 » Aggregation functions: Means |
112
Voted
CAV
2004
Springer
15 years 9 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
147
Voted
ECAI
2004
Springer
15 years 9 months ago
2004
Springer
In the past, Markov Decision Processes (MDPs) have become a standard for solving problems of sequential decision under uncertainty. The usual request in this framework is the compu...
148
Voted
ICFEM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
131
click to vote
METAINFORMATICS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
118
Voted
MKM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...