Open Access. Powered by Scholars. Published by Universities.^{®}
 Discipline

 Physical Sciences and Mathematics (13)
 Electrical and Computer Engineering (8)
 Electrical and Electronics (8)
 Computer Sciences (7)
 Robotics (6)

 Mathematics (5)
 Mechanical Engineering (3)
 Mechanics of Materials (2)
 Engineering Science and Materials (2)
 Applied Mathematics (2)
 Social and Behavioral Sciences (2)
 Materials Science and Engineering (2)
 Software Engineering (2)
 Communication (2)
 Communication Sciences and Disorders (1)
 Environmental Sciences (1)
 Communication Technology and New Media (1)
 Programming Languages and Compilers (1)
 Biomechanics (1)
 Digital Communications and Networking (1)
 Physics (1)
 Kinesiology (1)
 Data Storage Systems (1)
 Medicine and Health Sciences (1)
 Life Sciences (1)
 Oil, Gas, and Energy (1)
 Artificial Intelligence and Robotics (1)
 Education (1)
 Keyword

 Interval uncertainty (27)
 Interval computations (21)
 Pre and postconditions (11)
 Runtime assertion checking (10)
 JML language (8)

 Uncertainty (8)
 Probabilistic uncertainty (8)
 Documentation (8)
 Fuzzy logic (7)
 Fuzzy uncertainty (6)
 Aerospace structures (6)
 Constraints (6)
 Computational complexity (6)
 Test data generator (6)
 Usability (6)
 Human Factors (6)
 Intended function (5)
 Quantum computing (5)
 Symmetry groups (5)
 Neural networks (5)
 Genetic algorithms (4)
 Evaluation (4)
 Functional program verification (4)
 Granularity (4)
 Runtime checking (4)
 Optimization (4)
 Expert knowledge (4)
 Inverse problem (4)
 Kolmogorov complexity (4)
 Random testing (4)
 Publication Year
 Publication
 Publication Type
Articles 751  780 of 783
FullText Articles in Computer Engineering
Oo Or Not Oo: When ObjectOriented Is Better. Qualitative Analysis And Application To Satellite Image Processing, Ann Q. Gates, Leticia Sifuentes, Scott A. Starks
Oo Or Not Oo: When ObjectOriented Is Better. Qualitative Analysis And Application To Satellite Image Processing, Ann Q. Gates, Leticia Sifuentes, Scott A. Starks
Departmental Technical Reports (CS)
No abstract provided.
On How To Merge Sorted Lists Coming From Different Web Search Tools, Ronald R. Yager, Vladik Kreinovich
On How To Merge Sorted Lists Coming From Different Web Search Tools, Ronald R. Yager, Vladik Kreinovich
Departmental Technical Reports (CS)
Different web search tools often complement each other. So, if we want to have a good coverage of all relevant web items, a reasonable strategy is to use different search tools and then merge the resulting lists. How to merge them? In this paper, we describe reasonable axioms for the merging procedure and describe all mergings that satisfy these reasonable axioms.
Optimal Choices Of Potential Functions In Fuzzy Clustering, Vladik Kreinovich, Hung T. Nguyen, Yeung Yam
Optimal Choices Of Potential Functions In Fuzzy Clustering, Vladik Kreinovich, Hung T. Nguyen, Yeung Yam
Departmental Technical Reports (CS)
Fuzzy logicbased clustering techniques are widely used in situations where statistical assumptions are not valid. Whether in estimating cluster centers for model identification purposes or in determining clusters the existing techniques are essentially based upon the choice of some potential functions. As in any design problems of this kind, the choice of such a function has to be justified on a theoretical basis. In this work, we set up a decision frame work and show that optimal potential functions are the ones which are used in current techniques.
On Geometry Of Radio Antenna Placements, Olga Kosheleva, Vladik Kreinovich, Andrei M. Finkelstein, Steve Chan
On Geometry Of Radio Antenna Placements, Olga Kosheleva, Vladik Kreinovich, Andrei M. Finkelstein, Steve Chan
Departmental Technical Reports (CS)
No abstract provided.
Ordinal Explanation Of The Periodic System Of Chemical Elements, Eric R. Scerri, Vladik Kreinovich, Piotr Wojciechowski, Ronald R. Yager
Ordinal Explanation Of The Periodic System Of Chemical Elements, Eric R. Scerri, Vladik Kreinovich, Piotr Wojciechowski, Ronald R. Yager
Departmental Technical Reports (CS)
Textbooks often claim that quantum mechanics explained the periodic system: namely, the actual configuration of electronic orbits that is responsible for the element's chemical properties can be described as the one that minimizes the total energy, and the energy of each configuration can be computed by using quantum mechanics.
However, a careful analysis of this explanation reveals that, in addition to the basic equations of quantum mechanics, we need some heuristic rules that do not directly follow from quantum physics. One reason why additional heuristics are necessary is that the corresponding numerical equations are extremely difficult to solve, and ...
Strong Negation: Its Relation To Intervals And Its Use In Expert Systems, Scott A. Starks, Vladik Kreinovich, Hung T. Nguyen, Hoang Phuong Nguyen, Mirko Navara
Strong Negation: Its Relation To Intervals And Its Use In Expert Systems, Scott A. Starks, Vladik Kreinovich, Hung T. Nguyen, Hoang Phuong Nguyen, Mirko Navara
Departmental Technical Reports (CS)
No abstract provided.
Human Visual Perception And Kolmogorov Complexity: Revisited, Vladik Kreinovich, Luc Longpre
Human Visual Perception And Kolmogorov Complexity: Revisited, Vladik Kreinovich, Luc Longpre
Departmental Technical Reports (CS)
Experiments have shown that we can only memorize images up to a certain complexity level, after which, instead of memorizing the image itself, we, sort of, memorize a probability distribution in terms of which this image is "random" (in the intuitive sense of this word), and next time, we reproduce a "random" sample from this distribution. This random sample may be different from the original image, but since it belongs to the same distribution, it, hopefully, correctly reproduces the statistical characteristics of the original image.
The reason why a complex image cannot be accurately memorized is, probably, that our memory ...
Telemanipulation: The Virtual Tool Approach And Its IntervalBased Justification, Vladik Kreinovich, Luic Olac Fuentes
Telemanipulation: The Virtual Tool Approach And Its IntervalBased Justification, Vladik Kreinovich, Luic Olac Fuentes
Departmental Technical Reports (CS)
No abstract provided.
Application Of Kolmogorov Complexity To Image Compression: It Is Possible To Have A Better Compression, But It Is Not Possible To Have The Best One, Sanjeev Subbaramu, Ann Q. Gates, Vladik Kreinovich
Application Of Kolmogorov Complexity To Image Compression: It Is Possible To Have A Better Compression, But It Is Not Possible To Have The Best One, Sanjeev Subbaramu, Ann Q. Gates, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Complexity Of Collective Decision Making Explained By Neural Network Universal Approximation Theorem, Raul A. Trejo, Vladik Kreinovich
Complexity Of Collective Decision Making Explained By Neural Network Universal Approximation Theorem, Raul A. Trejo, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Interval Approach To NonDestructive Testing Of Aerospace Structures And To Mammography, Keith Worden, Roberto A. Osegueda, Carlos M. Ferregut, Soheil Nazarian, Eulalio Rodriguez, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, Sergio Cabrera
Interval Approach To NonDestructive Testing Of Aerospace Structures And To Mammography, Keith Worden, Roberto A. Osegueda, Carlos M. Ferregut, Soheil Nazarian, Eulalio Rodriguez, Debra L. George, Mary J. George, Vladik Kreinovich, Olga Kosheleva, Sergio Cabrera
Departmental Technical Reports (CS)
No abstract provided.
Why Kolmogorov Complexity In Physical Equations, Vladik Kreinovich, Luc Longpre
Why Kolmogorov Complexity In Physical Equations, Vladik Kreinovich, Luc Longpre
Departmental Technical Reports (CS)
Several researchers, including M. GellMann, argue that the notion of Kolmogorov complexity, developed in the algorithmic information theory, is useful in physics (i.e., in the description of the physical world). Their arguments are rather convincing, but there seems to be a gap between traditional physical equations and Kolmogorov complexity: namely, it is not clear how the standard equations of physics can lead to algorithmic notions underlying Kolmogorov complexity. In this paper, this "gap" is bridged: we explain how Kolmogorov complexity naturally appear in physical equation.
Coincidences Are Not Accidental: A Theorem, Vladik Kreinovich
Coincidences Are Not Accidental: A Theorem, Vladik Kreinovich
Departmental Technical Reports (CS)
In this paper, we formalize and prove the statement that coincidences cannot be accidental, a statement that underlies many useful heuristics in mathematics and physics.
Our proof uses a version of Kolmogorov complexity, a technique originally developed to describe randomness and "accidentalness".
From Fuzzification And Intervalization To Anglification: A New 5d Geometric Formalism For Physics And Data Processing, Scott A. Starks, Vladik Kreinovich
From Fuzzification And Intervalization To Anglification: A New 5d Geometric Formalism For Physics And Data Processing, Scott A. Starks, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Spinal Cord Stimulation For Chronic Pain Management: Towards An Expert System, Kenneth M. Alo, Richard Alo, Andre De Korvin, Vladik Kreinovich
Spinal Cord Stimulation For Chronic Pain Management: Towards An Expert System, Kenneth M. Alo, Richard Alo, Andre De Korvin, Vladik Kreinovich
Departmental Technical Reports (CS)
Chronic pain is a serious health problem affecting millions of people worldwide. Currently, spinal cord simulation is one of the most effective methods of easing the chronic pain. For most patients, a careful selection of weak electric currents enables to drastically decrease the pain level. The first devices offered only a few possible regimes, and it was possible to choose an appropriate regime simply by exhaustive search. Continuous engineering progress leads to more and more flexible devices that offer a wide variety of millions of possible simulation regimes. With this variety, it is no longer possible to test all of ...
From Expert Words Directly To Numerical Simulations: GroupTheoretic Approach To Computing With Words In Information/Intelligent Systems, Vladik Kreinovich, Brian Penn, Scott A. Starks
From Expert Words Directly To Numerical Simulations: GroupTheoretic Approach To Computing With Words In Information/Intelligent Systems, Vladik Kreinovich, Brian Penn, Scott A. Starks
Departmental Technical Reports (CS)
In many reallife situations, e.g., when making an environmental decision, it is important to be able to predict longterm consequences of different decisions. Very often, these predictions must be done in the situation where the only available information consists of expert rules, which are formulated by words from natural language. One possible way to transform these expert words into numerical simulation (leading to prediction) is to use the fuzzy control methodology. However, there is a problem with using this methodology: it invokes replacing each word by a membership function, and this replacement drastically increases the required computer space (and ...
Computational Geometry And Artifical Neural Networks: A Hybrid Approach To Optimal Sensor Placement For Aerospace Nde, Roberto A. Osegueda, Carlos M. Ferregut, Mary J. George, Jose M. Gutierrez, Vladik Kreinovich
Computational Geometry And Artifical Neural Networks: A Hybrid Approach To Optimal Sensor Placement For Aerospace Nde, Roberto A. Osegueda, Carlos M. Ferregut, Mary J. George, Jose M. Gutierrez, Vladik Kreinovich
Departmental Technical Reports (CS)
The ideal design of an airplane should include builtin sensors that are preblended in the perfect aerodynamic shape. Each builtin sensor is expensive to blend in and requires continuous maintenance and data processing, so we would like to use as few sensors as possible. The ideal formulation of the corresponding optimization problem is, e.g., to minimize the average detection error for fault locations. However, there are two obstacles to this ideal formulation:
First, this ideal formulation requires that we know the probabilities of different fault locations etc., and there are usually not enough statistics to determine these probabilities.
Second ...
Identification And Classification Of Inconsistency In Relationship To Software Maintenance, Daniel Cooke, Luqi, Vladik Kreinovich
Identification And Classification Of Inconsistency In Relationship To Software Maintenance, Daniel Cooke, Luqi, Vladik Kreinovich
Departmental Technical Reports (CS)
This paper provides an overview of the relationship between recent work in logic programming and recent developments in software engineering. The relationship to software engineering is more specifically concerned with how formal specifications can be used to explain and represent the basis of software maintenance and evolution. Some of the results reviewed here have appeared in our previous papers. These previous results are summarized, extended, and made more general in this paper.
The Challenge Of HyperSpectral Satellite Imaging And IntegerValued Fuzzy Sets, Maria Beltran, Vladik Kreinovich, Scott A. Starks
The Challenge Of HyperSpectral Satellite Imaging And IntegerValued Fuzzy Sets, Maria Beltran, Vladik Kreinovich, Scott A. Starks
Departmental Technical Reports (CS)
Satellite images already produce huge amounts of data, which makes their processing a serious computational challenge. This problem will become even more complicated with the launch of multispectral Earthimaging satellites that will increase the amount of information by at least two orders of magnitude. With such a huge amount of information, it is necessary to come up with data processing methods that are as fast as possible. In particular, we show that for fuzzy processing techniques, this leads to the necessity to use integervalued fuzzy sets.
EnvironmentallyOriented Processing Of MultiSpectral Satellite Images: New Challenges For Bayesian Methods, Scott A. Starks, Vladik Kreinovich
EnvironmentallyOriented Processing Of MultiSpectral Satellite Images: New Challenges For Bayesian Methods, Scott A. Starks, Vladik Kreinovich
Departmental Technical Reports (CS)
Remotely sensed images from new generation satellites present an opportunity for scientists to investigate problems in environmental and earth science which have been previously intractable. The magnitude of data that will arise from these hyperspectral instruments create the need for innovative techniques to accomplish data reduction. This paper presents an algorithm which shows promise as a tool for reducing the dimensionality of data resulting from remote sensing. The optimality criteria for the algorithm is the Bayes Risk in the reduced dimension space.
Strict Achimedean TNorms And TConorms As Universal Approximators, Hung T. Nguyen, Vladik Kreinovich, Piotr Wojciechowski
Strict Achimedean TNorms And TConorms As Universal Approximators, Hung T. Nguyen, Vladik Kreinovich, Piotr Wojciechowski
Departmental Technical Reports (CS)
In knowledge representation, when we have to use logical connectives, various continuous tnorms and tconorms are used. In this paper, we show that every continuous tnorm and tconorm can be approximated, to an arbitrary degree of accuracy, by a strict Archimedean tnorm (tconorm).
We Must Choose The Simplest Physical Theory: LevinLiVitanyi Theorem And Its Potential Physical Applications, Dirk Fox, Martin Schmidt, Misha Kosheleva, Vladik Kreinovich, Luc Longpre, Jeff Kuhn
We Must Choose The Simplest Physical Theory: LevinLiVitanyi Theorem And Its Potential Physical Applications, Dirk Fox, Martin Schmidt, Misha Kosheleva, Vladik Kreinovich, Luc Longpre, Jeff Kuhn
Departmental Technical Reports (CS)
If several physical theories are consistent with the same experimental data, which theory should we choose? Physicists often choose the simplest theory; this principle (explicitly formulated by Occam) is one of the basic principles of physical reasoning. However, until recently, this principle was mainly a heuristic because it uses the informal notion of simplicity.
With the explicit notion of simplicity coming from the Algorithmic Information theory, it is possible not only to formalize this principle in a way that is consistent with its traditional usage in physics, but also to prove this principle, or, to be more precise, deduce it ...
Which Algorithms Are Feasible? Maxent Approach, Daniel E. Cooke, Vladik Kreinovich, Luc Longpre
Which Algorithms Are Feasible? Maxent Approach, Daniel E. Cooke, Vladik Kreinovich, Luc Longpre
Departmental Technical Reports (CS)
It is well known that not all algorithms are feasible; whether an algorithm is feasible or not depends on how many computational steps this algorithm requires. The problem with the existing definitions of feasibility is that they are rather ad hoc. Our goal is to use the maximum entropy (MaxEnt) approach and get more motivated definitions.
If an algorithm is feasible, then, intuitively, we would expect the following to be true:
If we have a flow of problems with finite average length L, then we expect the average time T to be finite as well.
Thus, we can say that ...
Sensor Placement For Aerospace NonDestructive Evaluation (Nde): Optimization Under Fuzzy Uncertainty, Roberto A. Osegueda, Carlos M. Ferregut, Mary J. George, Jose M. Gutierrez, Vladik Kreinovich
Sensor Placement For Aerospace NonDestructive Evaluation (Nde): Optimization Under Fuzzy Uncertainty, Roberto A. Osegueda, Carlos M. Ferregut, Mary J. George, Jose M. Gutierrez, Vladik Kreinovich
Departmental Technical Reports (CS)
No abstract provided.
Maximum Entropy Approach To Optimal Sensor Placement For Aerospace NonDestructive Testing, Roberto A. Osegueda, Carlos M. Ferregut, Mary J. George, Jose M. Gutierrez, Vladik Kreinovich
Maximum Entropy Approach To Optimal Sensor Placement For Aerospace NonDestructive Testing, Roberto A. Osegueda, Carlos M. Ferregut, Mary J. George, Jose M. Gutierrez, Vladik Kreinovich
Departmental Technical Reports (CS)
The ideal design of an airplane should include builtin sensors that are preblended in the perfect aerodynamic shape. Each builtin sensor is expensive to blend in and requires continuous maintenance and data processing, so we would like to use as few sensors as possible. The ideal formulation of the corresponding optimization problem is, e.g., to minimize the average detection error for fault locations. However, there are two obstacles to this ideal formulation:
First, this ideal formulation requires that we know the probabilities of different fault locations and the probabilities of different aircraft exploitation regimes. In reality, especially for a ...
How To Make World Wide Web Sites Faster And Easier To Use, Misha Kosheleva
How To Make World Wide Web Sites Faster And Easier To Use, Misha Kosheleva
Departmental Technical Reports (CS)
Working Notes of the AAAI Symposium on Frontiers in Soft Computing and Decision Systems, Boston, MA, November 810, 1997.
We propose a new idea of organizing Web sites so that the Web will be easier and faster to use.
NonEquilibrium Thermodynamics Explains Semiotic Shapes: Applications To Astronomy And To NonDestructive Testing Of Aerospace Systems, Roberto A. Osegueda, Carlos M. Ferregut, Mary J. George, Jose M. Gutierrez, Vladik Kreinovich
NonEquilibrium Thermodynamics Explains Semiotic Shapes: Applications To Astronomy And To NonDestructive Testing Of Aerospace Systems, Roberto A. Osegueda, Carlos M. Ferregut, Mary J. George, Jose M. Gutierrez, Vladik Kreinovich
Departmental Technical Reports (CS)
Proceedings of the International Conference on Intelligent Systems and Semiotics (ISAS'97), National Institute of Standards and Technology Publ., Gaithersburg, MD, 1997, pp. 378382.
Celestial bodies such as galaxies, stellar clusters, planetary systems, etc., have different geometric shapes (e.g., galaxies can be spiral or circular, etc.). Usually, complicated physical theories are used to explain these shapes; for example, several dozen different theories explain why many galaxies are of spiral shape. Some rare shapes are still difficult to explain.
It turns out that to explain these "astroshapes", we do not need to know the details of physical equations: practically all ...
Towards Computers Of Generation Omega  NonEquilibrium Thermodynamics, Granularity, And Acausal Processes: A Brief Survey, Misha Kosheleva, Vladik Kreinovich
Towards Computers Of Generation Omega  NonEquilibrium Thermodynamics, Granularity, And Acausal Processes: A Brief Survey, Misha Kosheleva, Vladik Kreinovich
Departmental Technical Reports (CS)
Proceedings of the International Conference on Intelligent Systems and Semiotics (ISAS'97), National Institute of Standards and Technology Publ., Gaithersburg, MD, 1997, pp. 383388.
Nowadays, we are using mainly computer of fourth generation, and we are designing fifthgeneration computers. It is reasonable to ask: what is the perspective? What will the computers of generation omega look like?
As the speed of data processing increases, we face a natural limitation of causality, according to which the speed of all processes is limited by the speed of light.
Lately, a new area of acausal (causality violating) processes has entered mainstream physics.
This ...
MultiResolution Data Processing: It Is Necessary, It Is Possible, It Is Fundamental, Scott A. Starks, Vladik Kreinovich, Alex Meystel
MultiResolution Data Processing: It Is Necessary, It Is Possible, It Is Fundamental, Scott A. Starks, Vladik Kreinovich, Alex Meystel
Departmental Technical Reports (CS)
Experience shows that many data processing problems are difficult to solve, and some of these problems have even been proven to be computationally intractable. Human experts successfully solve many such problems by using a hierarchical, multiresolution approach. These multiresolution methods are, in several cases, provably optimal. However, due to the computational intractability of the problem itself, the multiresolution approach can only work if the systems that we are analyzing are themselves hierarchical. We show that, first, due to (inevitable) measurement inaccuracies, an arbitrary input data is consistent with the hierarchical model, and second, that in many cases, the actual physical ...
Soft Computing Explains Heuristic Numerical Methods In Data Processing And In Logic Programming, Hung T. Nguyen, Vladik Kreinovich, Bernadette BouchonMeuiner
Soft Computing Explains Heuristic Numerical Methods In Data Processing And In Logic Programming, Hung T. Nguyen, Vladik Kreinovich, Bernadette BouchonMeuiner
Departmental Technical Reports (CS)
We show that fuzzy logic and other soft computing approaches explain and justify heuristic numerical methods used in data processing and in logic programming, in particular, Mmethods in robust statistics, regularization techniques, metric fixed point theorems, etc.