Domain-specific languages (DSL) receive a constantly growing attention in the area of software development. However, so far the documentation of reusable architectural knowledge for DSL design is rather limited. In this paper, we systematically explore the DSL design space by combining reusable architectural decision modeling and software patterns. In particular, we have explored three reusable...

Nowadays space is considered to be a net of connections between different areas. The questions how to delineate its character and how it is possible to objectively compare two spaces is a matter under consideration. This was the reason for creating new theories about the structure of space. Space syntax analysis (SSA) or simply Space Syntax defines a number of theories and research areas devo...

vegetation cover over time and space is the result of interactions betweenvegetation cover and environmental factors. changes occurred in range covers are caused bymatrix dominance, one of the most important environmental factors. decision support system(dss) could be used for determining the rate and importance of each factor. actually, inmethods based on dss, relations between input and outpu...

Domain-specific languages (DSL) receive a constantly growing attention in the area of software development. However, so far the documentation of reusable architectural knowledge for DSL design is rather limited. In this paper, we systematically explore the DSL design space by combining reusable architectural decision modeling and software patterns. In particular, we have explored three reusable...

The branching program is a fundamental model of nonuniform computation, which conveniently captures both time and space restrictions. In this paper we prove a quadratic expected time-space tradeoff of the form TS = Ω ( n2 q ) for q-way deterministic decision branching programs, where q > 2. Here T is the expected computation time and S is the expected space, when all inputs are equally likely. ...

This article introduces a general framework of multi-granulation fuzzy probabilistic roughsets (MG-FPRSs) models in multi-granulation fuzzy probabilistic approximation space over twouniverses. Four types of MG-FPRSs are established, by the four different conditional probabilitiesof fuzzy event. For different constraints on parameters, we obtain four kinds of each type MG-FPRSs...

We consider the problem of learning to optimize an unknown MDP M∗ = (S,A, R∗, P ∗). S = {1, .., S} is the state space, A = {1, .., A} is the action space. In each timestep t = 1, 2, .. the agent observes a state st ∈ S, selects an action at ∈ A, receives a reward rt ∼ R(st, at) ∈ [0, 1] and transitions to a new state st+1 ∼ P (st, at). We define all random variables with respect to a probabilit...

This paper introduces decision-theoretic planning techniques into automatic music generation. Markov decision processes (MDPs) are a mathematical model of planning under uncertainty, and factored MDPs demonstrate great advantages in an environment where the state space is large. Given a melody, we use a factored MDP planner to fill in the other three voices, based on the characteristics of clas...

This paper develops an axiomatic theory of decision-making under uncertainty that has no state-space. The choice setting follows Karni [1,2]: a set of effects (outcomes), a set of actions which induce these effects, and a set of real-valued bets over effects. In Karni’’s representation, a preference over action/bet pairs yields utility, which is action-dependent. In our representation, utility ...