| 2008 |
|---|
| 208 | EE | Vladik Kreinovich,
Max Shpak:
Decomposable Aggregability in Population Genetics and Evolutionary Computations: Algorithms and Computational Complexity.
Computational Intelligence in Medical Informatics 2008: 69-92 |
| 2007 |
|---|
| 207 | EE | Salamah Salamah,
Ann Q. Gates,
Vladik Kreinovich,
Steve Roach:
Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.
ATVA 2007: 533-542 |
| 206 | EE | Vladik Kreinovich:
Why Intervals? Why Fuzzy Numbers? Towards a New Justification.
FOCI 2007: 113-119 |
| 205 | EE | Hung T. Nguyen,
Vladik Kreinovich:
Fuzzy Aggregation Techniques in Situations Without Experts: Towards A New Justification.
FOCI 2007: 440-446 |
| 204 | EE | Salamah Salamah,
Ann Q. Gates,
Vladik Kreinovich,
Steve Roach:
Verification of Automatically Generated Pattern-Based LTL Specifications.
HASE 2007: 341-348 |
| 203 | EE | Gang Xiang,
Vladik Kreinovich:
Estimating Variance Under Interval and Fuzzy Uncertainty: Case of Hierarchical Estimation.
IFSA 2007: 3-12 |
| 202 | EE | Martine Ceberio,
Vladik Kreinovich,
Andrzej Pownuk,
Barnabás Bede:
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs Under Interval, p-Box, and Fuzzy Uncertainty.
IFSA 2007: 33-42 |
| 201 | | Salamah Salamah,
Vladik Kreinovich,
Ann Q. Gates:
Generating Linear Temporal Logic Formulas for Pattern-Based Specifications.
SEKE 2007: 422-427 |
| 200 | EE | Luc Longpré,
Vladik Kreinovich:
How to Efficiently Process Uncertainty within a Cyberinfrastructure without Sacrificing Privacy and Confidentiality.
Computational Intelligence in Information Assurance and Security 2007: 155-173 |
| 199 | EE | Ronald R. Yager,
Vladik Kreinovich:
Entropy conserving probability transforms and the entailment principle.
Fuzzy Sets and Systems 158(12): 1397-1405 (2007) |
| 198 | EE | Hung T. Nguyen,
Vladik Kreinovich,
Sompong Dhompongsa:
Mathematical foundations for intelligent technologies.
Inf. Sci. 177(16): 3215-3217 (2007) |
| 197 | EE | Vladik Kreinovich,
Hung T. Nguyen,
Berlin Wu:
On-line algorithms for computing mean and variance of interval data, and their use in intelligent systems.
Inf. Sci. 177(16): 3228-3238 (2007) |
| 196 | EE | Vladik Kreinovich,
Jan Beck,
Hung T. Nguyen:
Ellipsoids and ellipsoid-shaped fuzzy sets as natural multi-variate generalization of intervals and fuzzy numbers: How to elicit them from users, and how to use them in data processing.
Inf. Sci. 177(2): 388-407 (2007) |
| 195 | EE | Matthew G. Averill,
Kate C. Miller,
G. Randy Keller,
Vladik Kreinovich,
Roberto Araiza,
Scott A. Starks:
Using expert knowledge in solving the seismic inverse problem.
Int. J. Approx. Reasoning 45(3): 564-587 (2007) |
| 194 | EE | Daniel Berleant,
Martine Ceberio,
Gang Xiang,
Vladik Kreinovich:
Towards adding probabilities and correlations to interval computations.
Int. J. Approx. Reasoning 46(3): 499-510 (2007) |
| 193 | EE | Weldon A. Lodwick,
Vladik Kreinovich:
Interval-Related Talks at the North American Fuzzy Information Processing Society Annual Conference NAFIPS'06.
Reliable Computing 13(1): 109-111 (2007) |
| 192 | EE | Scott A. Starks,
Vladik Kreinovich:
Interval-Related Talks at the Second International Conference on Fuzzy Sets and Soft Computing in Economics and Finance.
Reliable Computing 13(1): 113-117 (2007) |
| 191 | EE | Vladik Kreinovich,
Scott A. Starks:
Interval Talks at the International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU'2006.
Reliable Computing 13(1): 119-124 (2007) |
| 190 | EE | Vladik Kreinovich,
Jan Beck,
Carlos Ferregut,
Araceli Sánchez,
G. Randy Keller,
Matthew G. Averill,
Scott A. Starks:
Monte-Carlo-Type Techniques for Processing Interval Uncertainty, and Their Potential Engineering Applications.
Reliable Computing 13(1): 25-69 (2007) |
| 189 | EE | Daniel Berleant,
Olga Kosheleva,
Vladik Kreinovich,
Hung T. Nguyen:
Unimodality, Independence Lead to NP-Hardness of Interval Probability Problems.
Reliable Computing 13(3): 261-282 (2007) |
| 188 | EE | Oscar Castillo,
Vladik Kreinovich:
Interval-Related Talks at the 2007 IEEE Symposium Series on Computational Intelligence.
Reliable Computing 13(5): 435-440 (2007) |
| 187 | EE | Oscar Castillo,
Vladik Kreinovich:
Interval-Related Talks at the North American Fuzzy Information Processing Society Annual Conference NAFIPS'07.
Reliable Computing 13(5): 441-443 (2007) |
| 186 | EE | Gang Xiang,
Martine Ceberio,
Vladik Kreinovich:
Computing Population Variance and Entropy under Interval Uncertainty: Linear-Time Algorithms.
Reliable Computing 13(6): 467-488 (2007) |
| 185 | EE | Vladik Kreinovich:
Review of "Computational Techniques for the Summation of Series by Anthony Sofo", Kluwer Academic Publishers, 2003.
SIGACT News 38(1): 24-27 (2007) |
| 2006 |
|---|
| 184 | EE | Wei-Shen Wang,
Vladik Kreinovich,
Michael Orshansky:
Statistical timing based on incomplete probabilistic descriptions of parameter uncertainty.
DAC 2006: 161-166 |
| 183 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Editorial: track reliable computations and their applications.
SAC 2006: 1633-1634 |
| 182 | EE | Evgeny Dantsin,
Alexander Wolpert,
Vladik Kreinovich:
Quantum versions of k-CSP algorithms: a first step towards quantum algorithms for interval-related constraint satisfaction problems.
SAC 2006: 1640-1644 |
| 181 | EE | Vladik Kreinovich,
Hung T. Nguyen:
Which fuzzy logic is the best: Pragmatic approach (and its theoretical analysis).
Fuzzy Sets and Systems 157(5): 611-614 (2006) |
| 180 | EE | Vladik Kreinovich,
Scott Ferson:
Computing best-possible bounds for the distribution of a sum of several variables is NP-hard.
Int. J. Approx. Reasoning 41(3): 331-342 (2006) |
| 179 | EE | Vladik Kreinovich,
Gang Xiang,
Scott Ferson:
Computing mean and variance under Dempster-Shafer uncertainty: Towards faster algorithms.
Int. J. Approx. Reasoning 42(3): 212-227 (2006) |
| 178 | EE | Jerry R. Hobbs,
Vladik Kreinovich:
Optimal choice of granularity in commonsense estimation: Why half-orders of magnitude?
Int. J. Intell. Syst. 21(8): 843-855 (2006) |
| 177 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1): 139-140 (2006) |
| 176 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(2): 245-246 (2006) |
| 175 | EE | Richard Aló,
Vladik Kreinovich:
Editorial.
JACIII 10(3): 243-244 (2006) |
| 174 | EE | Richard Aló,
Vladik Kreinovich,
Scott A. Starks:
Testing Hypotheses on Simulated Data: Why Traditional Hypotheses-Testing Statistics Are Not Always Adequate for Simulated Data, and How to Modify Them.
JACIII 10(3): 260-264 (2006) |
| 173 | EE | Anthony P. Salvatore,
Amitava Biswas,
Vladik Kreinovich,
Bertha Manriquez,
Michael P. Cannito,
Robert J. Sinard:
Expert System-Type Approach to Voice Disorders: Scheduling Botulinum Toxin Treatment for Adductor Spasmodic Dysphonia.
JACIII 10(3): 332-338 (2006) |
| 172 | EE | Timothy Ross,
Vladik Kreinovich:
Los Alamos National Laboratory Uncertainty Workshop: An Interval Perspective.
Reliable Computing 12(1): 65-71 (2006) |
| 171 | EE | Vladik Kreinovich,
François Modave,
Scott A. Starks,
Gang Xiang:
Towards Real World Applications: Interval-Related Talks at NAFIPS'05.
Reliable Computing 12(1): 73-77 (2006) |
| 170 | EE | Daniel Berleant,
Fabio Gagliardi Cozman,
Olga Kosheleva,
Vladik Kreinovich:
Dealing with Imprecise Probabilities: Interval-Related Talks at ISIPTA'05.
Reliable Computing 12(2): 153-165 (2006) |
| 169 | EE | Oscar Castillo,
Patricia Melin,
Vladik Kreinovich:
Interval-Related Talks at the International Conference on Fuzzy Systems, Neural Networks, and Genetic Algorithms FNG'05.
Reliable Computing 12(3): 247-251 (2006) |
| 168 | EE | Evgeny Dantsin,
Vladik Kreinovich,
Alexander Wolpert,
Gang Xiang:
Population Variance under Interval Uncertainty: A New Algorithm.
Reliable Computing 12(4): 273-280 (2006) |
| 167 | EE | Vladik Kreinovich,
Siegfried M. Rump:
Towards Optimal Use of Multi-Precision Arithmetic: A Remark.
Reliable Computing 12(5): 365-369 (2006) |
| 166 | EE | Vladik Kreinovich,
Gang Xiang,
Scott A. Starks,
Luc Longpré,
Martine Ceberio,
Roberto Araiza,
Jan Beck,
Raj Kandathi,
Asis Nayak,
Roberto Torres,
Janos G. Hajagos:
Towards Combining Probabilistic and Interval Uncertainty in Engineering Calculations: Algorithms for Computing Statistics under Interval Uncertainty, and Their Computational Complexity.
Reliable Computing 12(6): 471-501 (2006) |
| 165 | EE | Vladik Kreinovich,
Max Shpak:
Aggregability is NP-hard.
SIGACT News 37(3): 97-104 (2006) |
| 2005 |
|---|
| 164 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Editorial: track reliable computations and their applications.
SAC 2005: 1429-1430 |
| 163 | EE | Olga Kosheleva,
Vladik Kreinovich,
Günter Mayer,
Hung T. Nguyen:
Computing the cube of an interval matrix is NP-Hard.
SAC 2005: 1449-1453 |
| 162 | EE | Inna Pivkina,
Vladik Kreinovich:
Minimality of a solution update in conflict resolution: An application of revision programming to the von Neumann-Morgenstern approach.
Int. J. Intell. Syst. 20(9): 939-956 (2005) |
| 161 | EE | Vladik Kreinovich:
Interval Methods In Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13(1): 111-112 (2005) |
| 160 | EE | Vladik Kreinovich:
Interval methods in knowledge representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13(2): 241-242 (2005) |
| 159 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13(3): 363-364 (2005) |
| 158 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13(4): 465-466 (2005) |
| 157 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13(5): 561-562 (2005) |
| 156 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13(6): 699-702 (2005) |
| 155 | EE | Vladik Kreinovich:
Mining the Web: Discovering Knowledge from Hypertext Data, by Soumen Chakrabarti and Morgan Kaufmann.
Journal of Intelligent and Fuzzy Systems 16(1): 75 (2005) |
| 154 | EE | Vladik Kreinovich:
Real-Time Optimization by Extremum-Seeking Control, by Kartik B. Ariyur and Miroslav Krstic.
Journal of Intelligent and Fuzzy Systems 16(1): 77 (2005) |
| 153 | EE | Vladik Kreinovich:
Multimedia, Soft Computing, and Bioinformatics, by Data Mining.
Journal of Intelligent and Fuzzy Systems 16(2): 151-155 (2005) |
| 152 | EE | Vladik Kreinovich:
Design of Logic-Based Intelligent Systems, by Klaus Truemper.
Journal of Intelligent and Fuzzy Systems 16(3): 233-238 (2005) |
| 151 | EE | Vladik Kreinovich:
Handbook of Learning and Approximate Dynamic Programming, by Jennie Si, Andrew G. Barto, Warren B. Powell and Donald Wunsch II, eds.
Journal of Intelligent and Fuzzy Systems 16(4): 305-309 (2005) |
| 150 | EE | Vladik Kreinovich,
Luc Longpré,
Praveen Patangay,
Scott Ferson,
Lev Ginzburg:
Outlier Detection under Interval Uncertainty: Algorithmic Solvability and Computational Complexity.
Reliable Computing 11(1): 59-76 (2005) |
| 149 | EE | Scott Ferson,
Lev Ginzburg,
Vladik Kreinovich,
Luc Longpré,
Monica Aviles:
Exact Bounds on Finite Populations of Interval Data.
Reliable Computing 11(3): 207-233 (2005) |
| 148 | EE | Kavitha Tupelly,
Vladik Kreinovich,
Karen Villaverde:
Checking If There Exists a Monotonic Function That Is Consistent with the Measurements: An Efficient Algorithm.
Reliable Computing 11(4): 291-312 (2005) |
| 147 | EE | Vladik Kreinovich:
Optimal Finite Characterization of Linear Problems with Inexact Data.
Reliable Computing 11(6): 479-489 (2005) |
| 146 | EE | Martine Ceberio,
Vladik Kreinovich,
Michel Rueher:
Reliable Computations and Their Applications (RCA) Track.
Reliable Computing 11(6): 499-503 (2005) |
| 145 | EE | Vladik Kreinovich,
Luc Longpré:
Kolmogorov complexity leads to a representation theorem for idempotent probabilities (sigma-maxitive measures).
SIGACT News 36(3): 107-112 (2005) |
| 144 | EE | Evgeny Dantsin,
Vladik Kreinovich,
Alexander Wolpert:
On quantum versions of record-breaking algorithms for SAT.
SIGACT News 36(4): 103-108 (2005) |
| 2004 |
|---|
| 143 | EE | Marilton S. de Aguiar,
Graçaliz Pereira Dimuro,
Antônio Carlos da Rocha Costa,
Rafael K. S. Silva,
Fábia A. da Costa,
Vladik Kreinovich:
The Multi-layered Interval Categorizer Tesselation-based Model.
GeoInfo 2004: 437-454 |
| 142 | EE | Vladik Kreinovich:
Toward Formalizing Non-monotonic Reasoning in Physics: The use of Kolmogorov Complexity to Formalize the Notions of "Typically" and "Normally".
LA-NMR 2004 |
| 141 | EE | Gang Xiang,
Scott A. Starks,
Vladik Kreinovich,
Luc Longpré:
New Algorithms for Statistical Analysis of Interval Data.
PARA 2004: 189-196 |
| 140 | EE | Luke E. K. Achenie,
Vladik Kreinovich,
Kaj Madsen:
Interval Methods: An Introduction.
PARA 2004: 53-56 |
| 139 | EE | Martine Ceberio,
Vladik Kreinovich,
Lev Ginzburg:
On the Use of Intervals in Scientific Computing: What Is the Best Transition from Linear to Quadratic Approximation?.
PARA 2004: 75-82 |
| 138 | EE | Marilton S. de Aguiar,
Graçaliz Pereira Dimuro,
Fábia A. da Costa,
Rafael K. S. Silva,
César A. F. De Rose,
Antônio Carlos da Rocha Costa,
Vladik Kreinovich:
HPC-ICTM: The Interval Categorizer Tessellation-Based Model for High Performance Computing.
PARA 2004: 83-92 |
| 137 | EE | G. William Walster,
Vladik Kreinovich:
Corrigendum to "Computational complexity of optimization and crude range testing: a new approach motivated by fuzzy optimization": [Fuzzy Sets and Systems 135 (2003) 179-208].
Fuzzy Sets and Systems 141(1): 163 (2004) |
| 136 | EE | Vladik Kreinovich,
Hung T. Nguyen,
Nadipuram S. Prasad,
Pratit Santiprabhob:
Intelligent technologies: An introduction.
Int. J. Intell. Syst. 19(1-2): 1-8 (2004) |
| 135 | EE | Vladik Kreinovich,
Chin-Wang Tao:
Checking identities is computationally intractable NP-hard and therefore human provers will always be needed.
Int. J. Intell. Syst. 19(1-2): 39-49 (2004) |
| 134 | EE | Vladik Kreinovich:
Interval Methods In Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(1): 125-126 (2004) |
| 133 | EE | Vladik Kreinovich:
Corrigendum: Interval Methods In Knowledge Representation (Abstracts Of Recent Papers).
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(1): 127 (2004) |
| 132 | EE | Vladik Kreinovich:
Interval Methods In Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(2): 255 (2004) |
| 131 | EE | Vladik Kreinovich:
Interval Methods In Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(3): 407 (2004) |
| 130 | EE | Vladik Kreinovich:
Interval Methods In Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(4): 557 (2004) |
| 129 | EE | Vladik Kreinovich:
Interval Methods In Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(5): 713-714 (2004) |
| 128 | EE | Vladik Kreinovich:
Interval Methods In Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12(6): 861-862 (2004) |
| 127 | EE | Vladik Kreinovich:
Computational intelligence: The experts speak, by David B. Fogel and Charles J. Robinson, eds.
Journal of Intelligent and Fuzzy Systems 15(2): 133-134 (2004) |
| 126 | EE | Vladik Kreinovich:
Fuzzy statistics, by James J. Buckley.
Journal of Intelligent and Fuzzy Systems 15(2): 135 (2004) |
| 125 | EE | Vladik Kreinovich,
Luc Longpré:
Fast quantum algorithms for handling probabilistic and interval uncertainty.
Math. Log. Q. 50(4-5): 405-416 (2004) |
| 124 | EE | Svetoslav Markov,
Vladik Kreinovich:
Special Session "Set-Valued Numerics and Reliable Computing" - Sozopol, Bulgaria, June 4-8, 2003.
Reliable Computing 10(1): 59-61 (2004) |
| 123 | EE | Weldon A. Lodwick,
Vladik Kreinovich:
Interval-Related Talks at the 22th International Conference of the North American Fuzzy Information Processing Society NAFIPS'03 - Chicago, Illinois, USA, July 24-26, 2003.
Reliable Computing 10(1): 71-73 (2004) |
| 122 | EE | Vasco Brattka,
Vladik Kreinovich:
Computability and Complexity in Analysis (CCA). A View from Interval Computations - Cincinnati, Ohio, USA, August 28-30, 2003.
Reliable Computing 10(1): 75-80 (2004) |
| 121 | EE | Hung T. Nguyen,
Vladik Kreinovich,
Luc Longpré:
Dirty Pages of Logarithm Tables, Lifetime of the Universe, and (Subjective) Probabilities on Finite and Infinite Intervals.
Reliable Computing 10(2): 83-106 (2004) |
| 120 | EE | Martine Ceberio,
Vladik Kreinovich:
Fast Multiplication of Interval Matrices (Interval Version of Strassen's Algorithm).
Reliable Computing 10(3): 241-243 (2004) |
| 119 | EE | Hung T. Nguyen,
Vladik Kreinovich:
Interval-Related Talks at InTech'03 - Chiang Mai, Thailand, December 17-19, 2003.
Reliable Computing 10(3): 245-246 (2004) |
| 118 | EE | Roberto Torres,
G. Randy Keller,
Vladik Kreinovich,
Luc Longpré,
Scott A. Starks:
Eliminating Duplicates under Interval and Fuzzy Uncertainty: An Asymptotically Optimal Algorithm and Its Geospatial Applications.
Reliable Computing 10(5): 401-422 (2004) |
| 117 | EE | Vilém Novák,
Irina Perfilieva,
Hung T. Nguyen,
Vladik Kreinovich:
Research on advanced soft computing and its applications.
Soft Comput. 8(4): 239-246 (2004) |
| 116 | EE | Vladik Kreinovich:
Towards more realistic (e.g., non-associative) "and"- and "or"-operations in fuzzy logic.
Soft Comput. 8(4): 274-280 (2004) |
| 2003 |
|---|
| 115 | EE | Vladik Kreinovich,
Luc Longpré,
Praveen Patangay,
Scott Ferson,
Lev Ginzburg:
Outlier Detection under Interval Uncertainty: Algorithmic Solvability and Computational Complexity.
LSSC 2003: 238-245 |
| 114 | EE | Paul J. Tanenbaum,
Carlos de la Mora,
Piotr Wojciechowski,
Olga Kosheleva,
Vladik Kreinovich,
Scott A. Starks,
Alexandr V. Kuzminykh:
Robust Methodology for Characterizing System Response to Damage: Approach Based on Partial Order.
LSSC 2003: 276-283 |
| 113 | EE | Laurent Granvilliers,
Vladik Kreinovich,
Norbert Th. Müller:
Novel Approaches to Numerical Software with Result Verification.
Numerical Software with Result Verification 2003: 274-305 |
| 112 | | Luc Longpré,
Vladik Kreinovich:
Can quantum computers be useful when there are not yet enough qubits?
Bulletin of the EATCS 79: 164-169 (2003) |
| 111 | EE | G. William Walster,
Vladik Kreinovich:
Computational complexity of optimization and crude range testing: a new approach motivated by fuzzy optimization.
Fuzzy Sets and Systems 135(1): 179-208 (2003) |
| 110 | EE | Ronald R. Yager,
Vladik Kreinovich:
Universal approximation theorem for uninorm-based fuzzy systems modeling.
Fuzzy Sets and Systems 140(2): 331-339 (2003) |
| 109 | EE | Hung T. Nguyen,
Vladik Kreinovich,
Antonio di Nola:
Which truth values in fuzzy logics are definable?
Int. J. Intell. Syst. 18(10): 1057-1064 (2003) |
| 108 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11(2): 255-256 (2003) |
| 107 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation .
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11(3): 391-392 (2003) |
| 106 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11(4): 515-516 (2003) |
| 105 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11(5): 653- (2003) |
| 104 | EE | Vladik Kreinovich:
Interval Methods In Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 11(6): 779-780 (2003) |
| 103 | EE | Ronald R. Yager,
Vladik Kreinovich:
On the relation between two approaches to combining evidence: Ordered Abelian Groups and uninorms.
Journal of Intelligent and Fuzzy Systems 14(1): 7-12 (2003) |
| 102 | EE | Vladik Kreinovich,
Luc Longpré,
James J. Buckley:
Are There Easy-to-Check Necessary and Sufficient Conditions for Straightforward Interval Computations To Be Exact?
Reliable Computing 9(5): 349-358 (2003) |
| 101 | EE | Scott A. Starks,
Vladik Kreinovich:
Interval-Related Talks at the 2003 IEEE International Conference on Fuzzy Systems - St. Louis, Missouri, May 25-28, 2003.
Reliable Computing 9(5): 405-406 (2003) |
| 100 | EE | Vladik Kreinovich,
Scott Ferson,
Lev Ginzburg:
Exact Upper Bound on the Mean of the Product of Many Random Variables with Known Expectations.
Reliable Computing 9(6): 441-463 (2003) |
| 2002 |
|---|
| 99 | EE | Olga Kosheleva,
Vladik Kreinovich,
Hung T. Nguyen:
On the Optimal Choice of Quality Metric in Image Compression.
SSIAI 2002: 116-120 |
| 98 | EE | Roberto Araiza,
Hongjie Xie,
Scott A. Starks,
Vladik Kreinovich:
Automatic Referencing of Multi-Spectral Images.
SSIAI 2002: 21-25 |
| 97 | | Vladik Kreinovich,
Luc Longpré:
Why is Selecting the Simplest Hypothesis (Consistent with Data) a Good Idea? A Simple Explanation.
Bulletin of the EATCS 77: 191-194 (2002) |
| 96 | EE | Raul Trejo,
Vladik Kreinovich,
I. R. Goodman,
Jesus Martinez,
Reginaldo Gonzalez:
A realistic (non-associative) logic and a possible explanations of 7 pm 2 law.
Int. J. Approx. Reasoning 29(3): 235-266 (2002) |
| 95 | | Vladik Kreinovich:
Triangular norms by Erich Peter Klement, Radko Mesiar, and Endre Pap.
Int. J. Intell. Syst. 17(1): 105-108 (2002) |
| 94 | EE | Irina Perfilieva,
Vladik Kreinovich:
A new universal approximation result for fuzzy systems, which reflects CNF DNF duality.
Int. J. Intell. Syst. 17(12): 1121-1130 (2002) |
| 93 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation (abstracts of recent papers).
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 10(1): 113-114 (2002) |
| 92 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation (abstracts of recent papers).
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 10(2): 211-212 (2002) |
| 91 | EE | Gerhard Heindl,
Vladik Kreinovich,
Maria Rifqi:
In Case of Interval (or More General) Uncertainty, No Algorithm Can Choose the Simplest Representative.
Reliable Computing 8(3): 213-227 (2002) |
| 90 | EE | Weldon A. Lodwick,
Vladik Kreinovich:
Interval-Related Talks at the Annual Conference of the North American Fuzzy Information Processing Society NAFIPS'02.
Reliable Computing 8(5): 425-426 (2002) |
| 89 | EE | Vladik Kreinovich:
Range Estimation Is NP-Hard for ?2 Accuracy and Feasible for epsilon2-[delta].
Reliable Computing 8(6): 481-491 (2002) |
| 88 | | Daniel E. Cooke,
Vladik Kreinovich:
Automatic concurrency in SequenceL.
Sci. Comput. Program. 42(1): 115-128 (2002) |
| 2001 |
|---|
| 87 | EE | Alberto Bertoni,
Giuliano Grossi,
Alessandro Provetti,
Vladik Kreinovich,
Luis Tari:
The Prospect for Answer Sets Computation by a Genetic Model.
Answer Set Programming 2001 |
| 86 | | Bernadette Bouchon-Meunier,
Hung T. Nguyen,
Vladik Kreinovich:
"Discrete (Set) Derivatives &" "Algebraic" " Fuzzy Logic Operations".
FUZZ-IEEE 2001: 420-423 |
| 85 | | Pratit Santiprabhob,
Hung T. Nguyen,
Witold Pedrycz,
Vladik Kreinovich:
Logic-motivated Choice of Fuzzy Logic Operators.
FUZZ-IEEE 2001: 646-649 |
| 84 | | Mourad Oussalah,
Hung T. Nguyen,
Vladik Kreinovich:
A New Derivation of Centoid Defuzzification.
FUZZ-IEEE 2001: 884-887 |
| 83 | | Hung T. Nguyen,
Vladik Kreinovich,
Michael Margaliot,
Gideon Langholz:
Hyperbolic Approach to Fuzzy Control Is Optimal.
FUZZ-IEEE 2001: 888-891 |
| 82 | | Chitta Baral,
Vladik Kreinovich,
Raul Trejo:
Computational Complexity of Planning with Temporal Goals.
IJCAI 2001: 509-514 |
| 81 | | Götz Alefeld,
Vladik Kreinovich,
Günter Mayer:
Modifications of the Oettli-Prager Theorem with Application to the Eigenvalue Problem.
Symbolic Algebraic Methods and Verification Methods 2001: 11-20 |
| 80 | | Ann Q. Gates,
Vladik Kreinovich:
Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark.
Bulletin of the EATCS 73: 142-145 (2001) |
| 79 | EE | Frank Harary,
Vladik Kreinovich,
Luc Longpré:
A new graph characteristic and its application to numerical computability.
Inf. Process. Lett. 77(5-6): 277-282 (2001) |
| 78 | | Vladik Kreinovich:
Allowing two moves in succession increases the game's bias: A theorem.
Int. J. Intell. Syst. 16(2): 209-213 (2001) |
| 77 | | I. R. Goodman,
Vladik Kreinovich:
On representation and approximation of operations in Boolean algebras.
Int. J. Intell. Syst. 16(5): 647-653 (2001) |
| 76 | | Vladik Kreinovich:
Interval Methods in Knowledge Representation (abstracts of recent papers).
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(5): 646- (2001) |
| 75 | EE | Vladik Kreinovich,
Nadipuram S. Prasad,
Pratit Santiprabhob:
Intelligent Technologies - Preface.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(6): 647 (2001) |
| 74 | EE | Vladik Kreinovich,
Scott A. Starks:
Aerospace Applications of Intervals: From Geospatial Data Processing to Fault Detection in Aerospace Structures.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(6): 721-730 (2001) |
| 73 | EE | Roberto A. Osegueda,
Seetharami R. Seelam,
Ana C. Holguin,
Vladik Kreinovich,
Chin-Wang Tao,
Hung T. Nguyen:
Statistical and Dempster-Shafer Techniques in Testing Structural Integrity of Aerospace Structures.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(6): 749-758 (2001) |
| 72 | EE | Raul Trejo,
Joel Galloway,
Charanjiv Sachar,
Vladik Kreinovich,
Chitta Baral,
Le-Chi Tuan:
From Planning to Searching for the Shortest Plan: An Optimal Transition.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 9(6): 827-837 (2001) |
| 71 | EE | Nhu Nguyen,
Hung T. Nguyen,
Berlin Wu,
Vladik Kreinovich:
Chu Spaces: Towards New Foundations for Fuzzy Logic and Fuzzy Control, with Applications to Information Flow on the World Wide Web.
JACIII 5(3): 149-156 (2001) |
| 70 | EE | Vladik Kreinovich:
Roundoff-Free Number Fields for Interval Computations.
Reliable Computing 7(1): 41-47 (2001) |
| 69 | EE | Scott A. Starks,
Vladik Kreinovich:
Interval Methods and Their Applications: Invited Sessions at the World Automation Congress (WAC'2000) Maui, Hawaii, June 10-16, 2000.
Reliable Computing 7(1): 67-68 (2001) |
| 68 | EE | Vyacheslav Nesterov,
Vladik Kreinovich:
Session "Interval and Computer-Algebraic Methods in Science and Engineering" at the 6th International Association for Mathematics and Computers in Simulation (IMACS) Conference on Applications of Computer Algebra (ACA'2000) Saint Petersburg, Russia, ....
Reliable Computing 7(1): 69-70 (2001) |
| 67 | EE | T. Y. Lin,
Vladik Kreinovich:
A Special Session on Granular Computing and Interval Computations at the 19th International Conference of the North American Fuzzy Information Processing Society (NAFIPS) Atlanta, Georgia, July 13-15, 2000.
Reliable Computing 7(1): 71-72 (2001) |
| 66 | EE | Götz Alefeld,
Vladik Kreinovich,
Günter Mayer,
Michael Huth:
A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients.
Reliable Computing 7(3): 275-277 (2001) |
| 65 | EE | Keith Worden,
Roberto A. Osegueda,
Carlos Ferregut,
Soheil Nazarian,
Debra L. George,
Mary J. George,
Vladik Kreinovich,
Olga Kosheleva,
Sergio D. Cabrera:
Interval Methods in Non-Destructive Testing of Material Structures.
Reliable Computing 7(4): 341-352 (2001) |
| 2000 |
|---|
| 64 | | Raul Trejo,
Vladik Kreinovich,
Chitta Baral:
Towards Feasible Approach to Plan Checking under Probabilistic Uncertainty: Interval Methods.
AAAI/IAAI 2000: 545-550 |
| 63 | EE | Chitta Baral,
Le-Chi Tuan,
Raul Trejo,
Vladik Kreinovich:
Computational Complexity of Planning Based on Partial Information about the System's Present and Past States.
Computational Logic 2000: 882-896 |
| 62 | EE | Chitta Baral,
Vladik Kreinovich,
Raul Trejo:
Computational complexity of planning and approximate planning in the presence of incompleteness.
Artif. Intell. 122(1-2): 241-267 (2000) |
| 61 | | Raul Trejo,
Vladik Kreinovich,
Luc Longpré:
Choosing a Physical Model: Why Symmetries?
Bulletin of the EATCS 70: 159-161 (2000) |
| 60 | | Vladik Kreinovich,
Luc Longpré:
How Important is Theory for Practical Problems? A Partial Explanation of Hartmanis' Observation.
Bulletin of the EATCS 71: 160-164 (2000) |
| 59 | | Vladik Kreinovich,
Yeung Yam:
Why clustering in function approximation? Theoretical explanation.
Int. J. Intell. Syst. 15(10): 959-966 (2000) |
| 58 | EE | Ronald R. Yager,
Vladik Kreinovich:
Fair Division Under Interval Uncertainty.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 8(5): 611-618 (2000) |
| 1999 |
|---|
| 57 | | Chitta Baral,
Vladik Kreinovich,
Raul Trejo:
Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness.
IJCAI 1999: 948-955 |
| 56 | | Misha Koshelev,
Vladik Kreinovich,
Luc Longpré:
Encryption Algorithms Made (Somewhat) More Natural (a pedagogical remark).
Bulletin of the EATCS 67: 153-156 (1999) |
| 55 | | C. Hamzo,
Vladik Kreinovich:
On Average Bit Complexity of Interval Arithmetic.
Bulletin of the EATCS 68: (1999) |
| 54 | | S. 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.
Bulletin of the EATCS 69: 145-150 (1999) |
| 53 | EE | Vladik Kreinovich:
Coincidences Are not Accidental: a Theorem.
Cybernetics and Systems 30(5): 429-440 (1999) |
| 52 | EE | Daniel E. Cooke,
Vladik Kreinovich:
Automatic Concurrency in SequenceL.
Electr. Notes Theor. Comput. Sci. 25: (1999) |
| 51 | | Bernadette Bouchon-Meunier,
Vladik Kreinovich:
Fuzzy Modus Ponens as a Calculus of Logical Modifiers: Towards Zadeh's Vision of Implication Calculus.
Inf. Sci. 116(2-4): 219-227 (1999) |
| 50 | EE | Ronald R. Yager,
Vladik Kreinovich:
Decision making under interval probabilities.
Int. J. Approx. Reasoning 22(3): 195-215 (1999) |
| 49 | EE | Hung T. Nguyen,
Vladik Kreinovich,
Berlin Wu:
Fuzzy/Probability ~ Fractal/Smooth.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 7(4): 363-370 (1999) |
| 48 | EE | Shen Zuhe,
Vladik Kreinovich:
Preface.
Reliable Computing 5(1): 1 (1999) |
| 47 | EE | Olga Kosheleva,
Vladik Kreinovich:
Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem.
Reliable Computing 5(1): 81-95 (1999) |
| 46 | EE | Luc Longpré,
Vladik Kreinovich:
Gasarch, W.I. and Martin, G.A.: Bounded Queries in Recursion Theory.
Reliable Computing 5(2): 201-203 (1999) |
| 45 | EE | Olga Kosheleva,
Vladik Kreinovich:
Only Intervals Preserve the Invertibility of Arithmetic Operations.
Reliable Computing 5(4): 385-394 (1999) |
| 44 | EE | Ronald R. Yager,
Vladik Kreinovich:
On how to merge sorted lists coming from different web search tools.
Soft Comput. 3(2): 83-88 (1999) |
| 1998 |
|---|
| 43 | | Daniel E. Cooke,
Vladik Kreinovich,
Joseph E. Urban:
A Distributed Version of the SequenceL Language.
Symposium on Reliable Distributed Systems 1998: 295-301 |
| 42 | | Vladik Kreinovich,
Luc Longpré:
Human Visual Perception and Kolmogorov Complexity: Revisited.
Bulletin of the EATCS 64: (1998) |
| 41 | | Ann Q. Gates,
Vladik Kreinovich,
Luc Longpré:
Kolmogorov Complexity Justifies Software Engineering Heuristics.
Bulletin of the EATCS 66: 150-154 (1998) |
| 40 | EE | Andreas Blass,
Yuri Gurevich,
Vladik Kreinovich,
Luc Longpré:
A Variation on the Zero-One Law.
Inf. Process. Lett. 67(1): 29-30 (1998) |
| 39 | EE | Hung T. Nguyen,
Vladik Kreinovich,
Piotr Wojciechowski:
Strict Archimedean t-norms and t-conorms as universal approximators.
Int. J. Approx. Reasoning 18(3-4): 239-249 (1998) |
| 38 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6(1): 103-104 (1998) |
| 37 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6(2): 221 (1998) |
| 36 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6(3): 327-328 (1998) |
| 35 | EE | Eric R. Scerri,
Vladik Kreinovich,
Piotr Wojciechowski,
Ronald R. Yager:
Ordinal Explanation of the Periodic System of Chemical Elements.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6(4): 387-400 (1998) |
| 34 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6(4): 423-425 (1998) |
| 33 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6(5): 515 (1998) |
| 32 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 6(6): 587-588 (1998) |
| 31 | EE | Maria Beltran,
Gilbert Castillo,
Vladik Kreinovich:
Algorithms That Still Produce a Solution (Maybe Not Optimal) Even When Interrupted: Shary's Idea Justified.
Reliable Computing 4(1): 39-53 (1998) |
| 30 | EE | David Dennis,
Vladik Kreinovich,
Siegfried M. Rump:
Intervals and the Origins of Calculus.
Reliable Computing 4(2): 191-197 (1998) |
| 29 | EE | Diane I. Doser,
Kevin D. Crain,
Mark R. Baker,
Vladik Kreinovich,
Matthew C. Gerstenberger:
Estimating Uncertainties for Geophysical Tomography.
Reliable Computing 4(3): 241-268 (1998) |
| 28 | EE | Gerhard Heindl,
Vladik Kreinovich,
Anatoly V. Lakeyev:
Solving Linear Interval Systems Is NP-Hard Even If We Exclude Overflow and Underflow.
Reliable Computing 4(4): 377-381 (1998) |
| 27 | EE | Gerhard Heindl,
Vladik Kreinovich,
Anatoly V. Lakeyev:
Solving Linear Interval Systems Is NP-Hard Even If We Exclude Overflow and Underflow.
Reliable Computing 4(4): 383-388 (1998) |
| 1997 |
|---|
| 26 | | Chitta Baral,
Vladik Kreinovich,
Vladimir Lifschitz:
Introduction: Logic Programming, Non-Monotonic Reasoning and Reasoning about Actions.
Ann. Math. Artif. Intell. 21(2-4): 129 (1997) |
| 25 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(1): 107-109 (1997) |
| 24 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(2): 213-216 (1997) |
| 23 | EE | Vladik Kreinovich:
Guest Editors' Introduction: Interval Methods in Representing and Processing Uncertainty.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(3): 221-222 (1997) |
| 22 | EE | Hung T. Nguyen,
Vladik Kreinovich,
Qiang Zuo:
Interval-Valued Degrees of Belief: Applications of Interval Computations to Expert Systems and Intelligent Control.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(3): 317-358 (1997) |
| 21 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(3): 395-396 (1997) |
| 20 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(4): 509-512 (1997) |
| 19 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(5): 609-612 (1997) |
| 18 | EE | Vladik Kreinovich:
Interval Methods in Knowledge Representation.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 5(6): 733-734 (1997) |
| 17 | EE | Vera Kurková,
Paul C. Kainen,
Vladik Kreinovich:
Estimates of the Number of Hidden Units and Variation with Respect to Half-Spaces.
Neural Networks 10(6): 1061-1068 (1997) |
| 16 | EE | Anatoly V. Lakeyev,
Vladik Kreinovich:
NP-Hard Classes of Linear Algebraic Systems with Uncertainties.
Reliable Computing 3(1): 51-81 (1997) |
| 15 | EE | Hung T. Nguyen,
Vladik Kreinovich:
From Numerical Intervals to Set Intervals (Interval-Related Results Presented at the First International Workshop on Applications and Theory of Random Sets).
Reliable Computing 3(1): 95-102 (1997) |
| 14 | EE | Vladik Kreinovich,
Andrew Bernat:
Is Solar System Stable? A Remark.
Reliable Computing 3(2): 149-154 (1997) |
| 13 | EE | Vladik Kreinovich,
Scott A. Starks,
Günter Mayer:
On a Theoretical Justification of the Choice of Epsilon-Inflation in PASCAL-XSC.
Reliable Computing 3(4): 437-445 (1997) |
| 12 | EE | Ronald R. Yager,
Vladik Kreinovich:
Using robust optimization to play against an imperfect opponent.
Soft Comput. 1(2): 69-80 (1997) |
| 11 | EE | Hung T. Nguyen,
Vladik Kreinovich:
Using Gelfond-Przymusinska's epistemic specifications to justify (some) heuristic methods used in expert systems and intelligent control.
Soft Comput. 1(4): 198-209 (1997) |
| 1996 |
|---|
| 10 | | Luc Longpré,
Vladik Kreinovich:
Zeros of Riemann's Zeta Function are Uniformly Distributed, but not Random: An Answer to Calude's Open Problem.
Bulletin of the EATCS 59: (1996) |
| 9 | | D. Schirmer,
Vladik Kreinovich:
Towards a More Realistic Definition of Feasibility.
Bulletin of the EATCS 60: 151-153 (1996) |
| 1994 |
|---|
| 8 | | Daniel E. Cooke,
Richard Duran,
Ann Q. Gates,
Vladik Kreinovich:
Bag languages, concurrency, Horn logic programs, and linear logic.
SEKE 1994: 289-297 |
| 7 | | Arthur Ramer,
Vladik Kreinovich:
Maximum Entropy Approach to Fuzzy Control.
Inf. Sci. 81(3-4): 235-260 (1994) |
| 6 | | Olga Kosheleva,
Vladik Kreinovich:
An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?
Math. Log. Q. 40: 31-34 (1994) |
| 1993 |
|---|
| 5 | EE | Marion L. Ellzey Jr.,
Vladik Kreinovich,
Julie Peña:
Fast rotation of a 3D image about an arbitrary line.
Computers & Graphics 17(2): 121-126 (1993) |
| 4 | EE | Vladik Kreinovich:
Letters to the editor.
Neural Networks 6(1): 3-4 (1993) |
| 1992 |
|---|
| 3 | | Vladik Kreinovich,
Robert Lea,
Olac Fuentes,
Anatole Lokshin:
Fuzzy Control is Often Better Than Manual Control of the Very Experts Whose Knowledge it Uses: An Explanation.
ICTAI 1992: 180-185 |
| 1991 |
|---|
| 2 | EE | Vladik Kreinovich:
Arbitrary nonlinearity is sufficient to represent all functions by neural networks: A theorem.
Neural Networks 4(3): 381-383 (1991) |
| 1988 |
|---|
| 1 | | Vladik Kreinovich:
Group-theoretic approach to intractable problems.
Conference on Computer Logic 1988: 112-121 |
