University of Texas at El Paso
Computer Science Department
List of 2000 Reports

• Itanium's New Basic Operation of Fused Multiply-Add: Theoretical Explanation and Theoretical Challenge
  Vladik Kreinovich
  link to abstract
  UTEP-CS-00-42 in Compressed Postscript and in pdf

• Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark
  Ann Q. Gates and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-41 in Compressed Postscript and in pdf

• m Solutions Good, m-1 Solutions Better
  Luc Longpre, William Gasarch, G. William Walster, and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-00-40 in Compressed Postscript and in pdf
  Updated version UTEP-CS-00-40b in Compressed Postscript and in pdf

• UTEP-CS-00-39: withdrawn

• The Prospect for Answer Sets Computation by a Genetic Model
  A. Bertoni, G. Grossi, A. Provetti, V. Kreinovich, and L. Tari
  link to abstract
  Original version UTEP-CS-00-38 in Compressed Postscript;
  Updated version UTEP-CS-00-38a in Compressed Postscript and in pdf

• Optimal Finite Characterization of Linear Problems with Inexact Data
  Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-00-37 in Compressed Postscript;
  1st updated version UTEP-CS-00-37a in Compressed Postscript and in pdf
  2nd updated version UTEP-CS-00-37b in Compressed Postscript and in pdf

• Fuzzy Logic and its Applications in Medicine
  Nguyen Hoang Phuong and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-36 in pdf

• Universal Approximation Theorem for Uninorm-Based Fuzzy Systems Modeling
  Ronald R. Yager and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-00-35 in Compressed Postscript;
  Updated version UTEP-CS-00-35b in Compressed Postscript and in pdf

• Statistical and Dempster-Shafer Techniques in Testing Structural Integrity of Aerospace Structures
  Roberto A. Osegueda, Seetharami R. Seelam, Ana C. Holguin, Vladik Kreinovich, Chin-Wang Tao, and Hung T. Nguyen
  link to abstract
  Original version UTEP-CS-00-34 in Compressed Postscript;
  Updated version UTEP-CS-00-34c in Compressed Postscript and in pdf

• On the Relation Between Two Approaches to Combining Evidence: Ordered Abelian Groups and Uninorms
  Ronald R. Yager and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-00-33 in Compressed Postscript;
  Updated version UTEP-CS-00-33a in Compressed Postscript and in pdf.

• An Even More Realistic (Non-Associative) Interval Logic and its Relation to Psychology of Human Reasoning
  I. R. Goodman, Raul A. Trejo, Vladik Kreinovich, Jesus Martinez, and Reginaldo Gonzalez
  link to abstract
  Original version UTEP-CS-00-32a in Compressed Postscript and in pdf;
  Updated version UTEP-CS-00-32b in Compressed Postscript and in pdf.

• A Realistic (Non-Associative) Logic and a Possible Explanations of 7+-2 Law
  Raul Trejo, Vladik Kreinovich, I. R. Goodman, Jesus Martinez, and Reginaldo Gonzalez
  link to abstract
  Original version UTEP-CS-00-32 in Compressed Postscript and in pdf;
  Updated version UTEP-CS-00-32d in Compressed Postscript and in pdf

• Optimal Elimination of Inconsistency in Expert Knowledge: Formulation of the Problem, Fast Algorithms
  Timothy J. Ross, Berlin Wu, and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-31 in Compressed Postscript

• On Approximation of Fuzzy Sets by Crisp Sets: From Continuous Control-Oriented Defuzzification to Discrete Decision Making
  Hung T. Nguyen, Witold Pedrycz, and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-30 in Compressed Postscript

• Extracting Fuzzy Sparse Rule Base by Cartesian Representation and Clustering
  Yeung Yam, Vladik Kreinovich, and Hung T. Nguyen
  link to abstract
  UTEP-CS-00-29 in Compressed Postscript

• On Representation and Approximation of Operations in Boolean Algebras
  I. R. Goodman and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-28 in Compressed Postscript

• A New Universal Approximation Result for Fuzzy Systems, which Reflects CNF-DNF Duality
  Irina Perfilieva and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-27 in Compressed Postscript

• Why 95% and Two Sigma? A Theoretical Justification for an Empirical Measurement Practice
  Hung T. Nguyen, Vladik Kreinovich, and Chin-Wang Tao
  link to abstract
  UTEP-CS-00-26a in Compressed Postscript

• Why Two Sigma? A Theoretical Justification
  Hung T. Nguyen, Vladik Kreinovich, Gennady N. Solopchenko, and Chin-Wang Tao
  link to abstract
  UTEP-CS-00-26 in Compressed Postscript

• On the Optimal Choice of Quality Metric in Image Compression
  Olga Kosheleva, Vladik Kreinovich, and Hung T. Nguyen
  link to abstract
  UTEP-CS-00-25c in Compressed Postscript and in pdf

• On the Optimal Choice of Quality Metric in Image Compression
  Olga Kosheleva, Vladik Kreinovich, and Yeung Yam
  link to abstract
  UTEP-CS-00-25a in Compressed Postscript

• On the Optimal Choice of Quality Metric in Image Compression A Soft Computing Approach
  Hung T. Nguyen, Olga Kosheleva, Vladik Kreinovich, and Liya Ding
  link to abstract
  Original version UTEP-CS-00-25 in Compressed Postscript;
  Updated version UTEP-CS-00-25b in Compressed Postscript

• Interval Methods in Remote Sensing: Reliable Sub-Division of Geological Areas
  David D. Coblentz, G. Randy Keller, Vladik Kreinovich, Jan Beck, and Scott A. Starks
  link to abstract
  Original version UTEP-CS-00-24b in Compressed Postscript;
  Updated version UTEP-CS-00-24e in Compressed Postscript and in pdf

• Towards Reliable Sub-Division of Geological Areas: Interval Approach
  David D. Coblentz, Vladik Kreinovich, Brian S. Penn, and Scott A. Starks
  link to abstract
  Original version UTEP-CS-00-24 in Compressed Postscript;
  Updated version UTEP-CS-00-24a in Compressed Postscript and in pdf

• Granularity as an Optimal Approach to Uncertainty - A General Mathematical Idea with Applications to Sleep, Consumption, Traffic Control, Learning, etc.
  Vladik Kreinovich and Hung T. Nguyen
  link to abstract
  UTEP-CS-00-23 in Compressed Postscript

• Fuzzy (Granular) Levels of Quality, with Applications to Data Mining and to Structural Integrity of Aerospace Structures
  Roberto A. Osegueda, Carlos Ferregut, Vladik Kreinovich, Seelam Seetharami, and Harry Schulte
  link to abstract
  UTEP-CS-00-22 in Compressed Postscript

• How Important is Theory for Practical Problems? A Partial Explanation of Hartmanis' Observation
  Vladik Kreinovich and Luc Longpre
  link to abstract
  UTEP-CS-00-21 in Compressed Postscript

• Asymptotically Optimal Algorithms for Weather Applications of Smart Dust
  Edward Vidal, Luc Longpre, Vladik Kreinovich, Huang Haitao, and Yeung Yam
  link to abstract
  UTEP-CS-00-20a in Compressed Postscript

• Geombinatorics of "Smart Dust"
  Edward Vidal, Luc Longpre, Vladik Kreinovich, and Huang Haitao
  link to abstract
  Original version UTEP-CS-00-20 in Compressed Postscript;
  Updated version UTEP-CS-00-20c in Compressed Postscript

• Towards Optimal Mosaicking of Multi-Spectral Images
  Francisco Garcia, Roberto Araiza, and Brain Rzycki
  link to abstract
  UTEP-CS-00-19 in Compressed Postscript and in pdf

• Integrating Domain Knowledge with Data: From Crisp to Probabilistic and Fuzzy Knowledge
  Hung T. Nguyen, Vladik Kreinovich, and Leonid Reznik
  link to abstract
  Original version UTEP-CS-00-18 in Compressed Postscript;
  Updated version UTEP-CS-00-18a in Compressed Postscript.

• Error Estimations for Indirect Measurements: Randomized vs. Deterministic Algorithms for "Black-Box" Programs
  Vladik Kreinovich and Raul Trejo
  link to abstract
  UTEP-CS-00-17 in Compressed Postscript and in pdf

• Computing the Shape of the Image of a Multi-Linear Mapping is Possible but Computationally Intractable: Theorems
  Raul Trejo and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-00-16 in Compressed Postscript;
  Updated version UTEP-CS-00-16a in Compressed Postscript and in pdf

• On Granularity in Fuzzy Logic: Minimum and Maximum are the Only Absolutely Granular t-Norm and t-Conorm
  Vladik Kreinovich and Bernadette Bouchon-Meunier
  link to abstract
  UTEP-CS-00-15 in Compressed Postscript

• Allowing Two Moves in Succession Increases the Game's Bias: A Theorem
  Vladik Kreinovich
  link to abstract
  UTEP-CS-00-14 in Compressed Postscript

• Computational Complexity of Planning Based on Partial Information about the System's Present and Past States
  Chitta Baral, Le Chi Tuan, Raul Trejo, and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-00-13 in Compressed Postscript;
  Updated version UTEP-CS-00-13a in Compressed Postscript and in pdf

• Invariance-Based Justification of the Maximum Entropy Method and of Generalized Maximum Entropy Methods in Data Processing
  Hung T. Nguyen, Olga M. Kosheleva, and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-12 in Compressed Postscript

• Asymmetric Information Measures: How to Extract Knowledge from an Expert So That the Expert's Effort is Minimal
  Hung T. Nguyen, Vladik Kreinovich, and Elizabeth N. Kamoroff
  link to abstract
  Original version UTEP-CS-00-11 in Compressed Postscript
  1st updated version UTEP-CS-00-11a in Compressed Postscript and in pdf
  2nd updated version UTEP-CS-00-11b in Compressed Postscript and in pdf
  3rd updated version UTEP-CS-00-11c in Compressed Postscript and in pdf

• Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods
  Raul Trejo, Vladik Kreinovich, and Chitta Baral
  link to abstract
  Original version UTEP-CS-00-10 in Compressed Postscript;
  Updated version UTEP-CS-00-10a in Compressed Postscript and in pdf

• Computational Complexity of Planning, Diagnosis, and Diagnostic Planning in the Presence of Static Causal Laws
  Chitta Baral, Le Chi Tuan, and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-09 in Compressed Postscript

• From Planning to Searching for the Shortest Plan: An Optimal Transition
  Le Chi Tuan, Joel Galloway, Charanjiv Sachar, Vladik Kreinovich, and Chitta Baral
  link to abstract
  Original version UTEP-CS-00-08 in Compressed Postscript;
  Updated version UTEP-CS-00-08c in Compressed Postscript and in pdf

• Chu Spaces: Towards New Justification for Fuzzy Heuristics
  Nhu Nguyen, Hung T. Nguyen, and Vladik Kreinovich
  link to abstract
  Original version UTEP-CS-00-07 in Compressed Postscript;
  Updated version UTEP-CS-00-07a in Compressed Postscript.

• 1st Order, 2nd Order, What Next? Do We Really Need Third-Order Descriptions: A View from a Realistic (Granular) Viewpoint
  Vladik Kreinovich and Hung T. Nguyen
  link to abstract
  Original version UTEP-CS-00-06 in Compressed Postscript;
  Updated version UTEP-CS-00-06a in Compressed Postscript and in pdf

• Discrete (Granular) Logics: A New (Natural) Notion of Continuity, with a Complete Description Of All Continuous Granular Logics
  Hung T. Nguyen and Vladik Kreinovich
  link to abstract
  UTEP-CS-00-05 in Compressed Postscript

• Choosing a Physical Model: Why Symmetries?
  Raul A. Trejo, Vladik Kreinovich, and Luc Longpre
  link to abstract
  UTEP-CS-00-04 in Compressed Postscript and in pdf

• Aircraft Integrity and Reliability
  Carlos Ferregut, Roberto A. Osegueda, Yohans Mendoza, Vladik Kreinovich, and Timothy J. Ross
  link to abstract
  UTEP-CS-00-03 in Compressed Postscript and in pdf

• Intelligent Mining in Image Databases, with Applications to Satellite Imaging and to Web Search
  Stephen Gibson, Vladik Kreinovich, Luc Longpre, Brian Penn, and Scott A. Starks
  link to abstract
  Original version UTEP-CS-00-02 in Compressed Postscript;
  Updated version UTEP-CS-00-02a in Compressed Postscript and in pdf

• Some Practical Applications of Soft Computing and Data Mining
  Hung T. Nguyen, Nadipuram R. Prasad, Vladik Kreinovich, and Habib Gassoumi
  link to abstract
  Original version UTEP-CS-00-01 in Compressed Postscript;
  Updated version UTEP-CS-00-01a in Compressed Postscript