Searching for "Denotation by Transformation." – sorted by Relevance.
591 documents found, showing 1 through 10.
Next 10 →
-
The Integration of Control and Dataflow Structures in Distributed Hard Real-Time Systems
- … by the system can then be modeled by a directed graph, where the nodes denote transformations on the data…
- Cited by 5 (0 self) – Add To MetaCart
-
Ranking and Entropy Estimation in Nonlinear Time Series Analysis
- …. Ranking denotes the transformation x t \Gamma! R t = #ft : x t x t ; t = 1; : : : ; Tg; r t j R…
- Cited by 5 (1 self) – Add To MetaCart
-
Polymorphically Typed Logic Programs
- …-only variables, restricting the denotation of the transformed predicates. Together with a definition of well…
- Cited by 24 (2 self) – Add To MetaCart
-
Data-parallelism versus Functional programming: the contribution of
- … propositions, the last four rules define denotational transformations of reductions in some compositions…
- Add To MetaCart
-
On a Key Sampling Formula Relating the Laplace and Transforms
- … y d )(z) = 1 X k=0 y k z -k : We denote transformed signals with uppercase letters, keeping…
- Cited by 3 (2 self) – Add To MetaCart
-
Adding Superimposition To a Language Semantics (Extended Abstract)
- … of the registry. In essence, the registry is a transformer for reflective denotations. To obtain a modular…
- Cited by 1 (0 self) – Add To MetaCart
-
Adding Superimposition To a Language Semantics
- … is a transformer for reflective denotations. To obtain a modular semantics, we assume that R is a monad…
- Cited by 2 (0 self) – Add To MetaCart
-
On M. Gordin's homoclinic question
- …. Let S denote the transformation y = S (x), where y \Theta p := x \Theta (p) . Evidently…
- Cited by 2 (1 self) – Add To MetaCart
-
1 On Optimality of Quadrature Amplitude Modulation
- … symbols s[m] at any chosen symbol rate rs: s[m] =E(s[n]) (3) where E(·) denotes the transformation…
- Add To MetaCart
-
Evaluation of the Completion Time and Catastrophic Failure Time of a Two State System
- … (denoting the transform variable by w), and in the UDs case we take the LT w.r.t. b (denoting the transform…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
