Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Interval computations (6)
- Interval uncertainty (3)
- Symmetries (3)
- Complex system (2)
- Functional program verification (2)
-
- Fuzzy uncertainty (2)
- Intended function (2)
- Logic (2)
- Probability of failure (2)
- Algorithms (1)
- Apolloni's orthogonalization of neural networks (1)
- Bernstein polynomials (1)
- Class invariant (1)
- CleanJava (1)
- CleanJava language (1)
- Collective decision making (1)
- Combinatorial testing (1)
- Computations under time constraints (1)
- Constraints (1)
- Constructive mathematics (1)
- Convex hull (1)
- Decision making (1)
- Degrees of certainty (1)
- Enclosure (1)
- Equivalent form (1)
- Feasible computations (1)
- Feasible solution (1)
- Formal specification (1)
- Fuzzy data processing (1)
- Fuzzy degrees (1)
Articles 61 - 64 of 64
Full-Text Articles in Computer Engineering
Designing, Understanding, And Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics, Vladik Kreinovich
Designing, Understanding, And Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics, Vladik Kreinovich
Departmental Technical Reports (CS)
In this paper, we explain why, in our opinion, logic and constructive mathematics are playing -- and should play -- an important role in the design, understanding, and analysis of unconventional computation.
Pwisegen: Generating Test Cases For Pairwise Testing Using Genetic Algorithms, Pedro Flores, Yoonsik Cheon
Pwisegen: Generating Test Cases For Pairwise Testing Using Genetic Algorithms, Pedro Flores, Yoonsik Cheon
Departmental Technical Reports (CS)
Towards Optimal Few-Parametric Representation Of Spatial Variation: Geometric Approach And Environmental Applications, Misha Kosheleva, Octavio Lerma, Craig Tweedie
Towards Optimal Few-Parametric Representation Of Spatial Variation: Geometric Approach And Environmental Applications, Misha Kosheleva, Octavio Lerma, Craig Tweedie
Departmental Technical Reports (CS)
In this paper, we use geometric approach to showthat under reasonable assumption, the spatialvariability of a field f(x), i.e., the expectedvalue F(z)=E[(f(x+z)-f(x))2], has the formF(z)=|Σ gij*zi*zj|α.We explain how to find gij and αfrom the observations, and how to optimally place sensorsin view of this spatial variability.
Measures Of Deviation (And Dependence) For Heavy-Tailed Distributions And Heir Estimation Under Interval And Fuzzy Uncertainty, Nitaya Buntao, Vladik Kreinovich