Search results for "Interval computations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	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	DBLP DOI BibTeX RDF
2	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	2003	DBLP DOI BibTeX RDF
2	Misha Koshelev	Every Superinterval of the Function Range Can Be an Interval-Computations Enclosure.	Reliable Computing	2000	DBLP DOI BibTeX RDF
1	Walter Krämer	Multiple/arbitrary precision interval computations in C-XSC.	Computing	2012	DBLP DOI BibTeX RDF
1	Ralph Baker Kearfott	Interval computations, rigour and non-rigour in deterministic continuous global optimization.	Optimization Methods and Software	2011	DBLP DOI BibTeX RDF
1	Nicolas Goze, Michel Goze, Abdel Kenoufi, Elisabeth Remm	A new algebraic and arithmetic framework for interval computations	CoRR	2011	DBLP BibTeX RDF
1	Vladik Kreinovich	Towards Faster Estimation of Statistics and ODEs Under Interval, P-Box, and Fuzzy Uncertainty: From Interval Computations to Rough Set-Related Computations.	RSFDGrC	2011	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interval and p-Box Uncertainty (Invited Talk).	CCA	2009	DBLP BibTeX RDF
1	R. Baker Kearfott	Interval Analysis: Nondifferentiable Problems.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Nondifferentiability, Interval slopes, Verification, Global optimization, Interval computations
1	R. Baker Kearfott	Interval Analysis: Unconstrained and Constrained Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
1	R. Baker Kearfott	Interval Analysis: Verifying Feasibility.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Constrained optimization, Interval computations
1	R. Baker Kearfott	Interval Fixed Point Theory.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Fixed point iteration
1	R. Baker Kearfott	Interval Newton Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Automatic result verification, Global optimization, Interval computations, Nonlinear system of equations
1	R. Baker Kearfott	Interval Analysis: Intermediate Terms.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Expression parsing, Constraint satisfaction techniques, Interval dependency, Verification, Global optimization, Interval computations
1	Julius Zilinskas, Ian David Lockhart Bogle	Global Optimization: Interval Analysis and Balanced Interval Arithmetic.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Global optimization, Interval arithmetic, Interval computations
1	Raghuram Srinivasan, Harold W. Carter	A taylor series methodology for analyzing the effects of process variation on circuit operation.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	circuit simulation
1	Yawen Wang, Yunzhan Gong, Junliang Chen, Qing Xiao, Zhaohong Yang	An Application of Interval Analysis in Software Static Analysis.	EUC	2008	DBLP DOI BibTeX RDF
1	Frithjof Blomquist, Werner Hofschuster, Walter Krämer	A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range.	Numerical Validation in Current Hardware Architectures	2008	DBLP DOI BibTeX RDF	AMS classification 65G20, 65Y99, 37M99, 30-04, 65G30
1	Daniel Berleant, Martine Ceberio, Gang Xiang, Vladik Kreinovich	Towards adding probabilities and correlations to interval computations.	Int. J. Approx. Reasoning	2007	DBLP DOI BibTeX RDF
1	Regivan H. Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly	Formal Aspects of Correctness and Optimality of Interval Computations.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Interval representations, Optimality, Correctness, Continuity, Interval analysis
1	Eldon R. Hansen	Sharpening Interval Computations.	Reliable Computing	2006	DBLP DOI BibTeX RDF
1	Michael Lerch, German Tischler, Jürgen Wolff von Gudenberg, Werner Hofschuster, Walter Krämer	FILIB++, a fast interval library supporting containment computations.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	C++ class library, containment computations, containment sets, exception free computations, filib++, guaranteed numerical results, traits class, validated numerics, validation, templates, interval arithmetic, interval computations
1	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	DBLP DOI BibTeX RDF
1	Lech Polkowski	Formal granular calculi based on rough inclusions.	GrC	2005	DBLP DOI BibTeX RDF
1	Takashi Hisakado, Kohshi Okumura	Moore test using Gray code.	ISCAS	2005	DBLP DOI BibTeX RDF
1	Nathalie Revol, Fabrice Rouillier	Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library.	Reliable Computing	2005	DBLP DOI BibTeX RDF
1	Vasco Brattka, Vladik Kreinovich	Computability and Complexity in Analysis (CCA). A View from Interval Computations - Cincinnati, Ohio, USA, August 28-30, 2003.	Reliable Computing	2004	DBLP DOI BibTeX RDF
1	Nikolaj Glazunov	Interval Computations and Their Categorification.	Numerical Algorithms	2004	DBLP DOI BibTeX RDF
1	Laurent Granvilliers, Jorge Cruz, Pedro Barahona	Parameter Estimation Using Interval Computations.	SIAM J. Scientific Computing	2004	DBLP DOI BibTeX RDF
1	Laurent Granvilliers, Mina Ouabiba	Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.	AISC	2004	DBLP DOI BibTeX RDF	redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm
1	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	2004	DBLP DOI BibTeX RDF
1	Evgenija D. Popova, Maria Datcheva, Roumen Iankov, Tom Schanz	Sharp Bounds for Strains and Stresses in Uncertain Mechanical Models.	LSSC	2003	DBLP DOI BibTeX RDF
1	T. Hisakado, T. Nishimura, K. Okumura	Hardware implementation of Moore test on FPGA.	ISCAS	2002	DBLP DOI BibTeX RDF
1	Martine Ceberio, Laurent Granvilliers	Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods.	FroCos	2002	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Range Estimation Is NP-Hard for ?2 Accuracy and Feasible for epsilon2-[delta].	Reliable Computing	2002	DBLP DOI BibTeX RDF
1	Jürgen Garloff	Minisymposium on Applications of Interval Computations at the Third World Congress of Nonlinear Analysts Catania, Sicily, Italy, July 19-26, 2000.	Reliable Computing	2001	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Roundoff-Free Number Fields for Interval Computations.	Reliable Computing	2001	DBLP DOI BibTeX RDF
1	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	2001	DBLP DOI BibTeX RDF
1	Adrian Bowyer, Jakob Berchtold, David Eisenthal, Irina Voiculescu, Kevin D. Wise	Interval Methods in Geometric Modeling. (PDF / PS)	GMP	2000	DBLP DOI BibTeX RDF	multidimensional geometric modeling, svLis, ray-tracing, Interval arithmetic, CSG, implicit functions
1		Interval Computations Help in Proving the Kepler Conjecture.	Reliable Computing	1999	DBLP DOI BibTeX RDF
1	Carlos Carreras, Juan A. López, Octavio Nieto-Taladriz	Bit-Width Selection for Data-Path Implementations. (PDF / PS)	ISSS	1999	DBLP DOI BibTeX RDF
1	Olga Kosheleva, Vladik Kreinovich	Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem.	Reliable Computing	1999	DBLP DOI BibTeX RDF
1	Olga Kosheleva	Hilbert Problems (Almost) 100 Years Later (From the Viewpoint of Interval Computations).	Reliable Computing	1998	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	Kreinovich, V., Lakeyev, A., Rohn, J., and Kahl, P.: Computational Complexity and Feasibility of Data Processing and Interval Computations.	Reliable Computing	1998	DBLP DOI BibTeX RDF
1	Steven Mills, Kevin Novins	Interval Computations in Computer Vision.	IVCNZ	1998	DBLP BibTeX RDF
1	Maria Beltran, Gilbert Castillo, Vladik Kreinovich	Algorithms That Still Produce a Solution (Maybe Not Optimal) Even When Interrupted: Shary's Idea Justified.	Reliable Computing	1998	DBLP DOI BibTeX RDF
1	Graciela Gonzalez	Intervals Help to Design an Imaging System.	Reliable Computing	1998	DBLP DOI BibTeX RDF
1	Zhihui Huey Hu	Reliable Optimal Production Control with Cobb-Douglas Model.	Reliable Computing	1998	DBLP DOI BibTeX RDF
1	Eldon R. Hansen	Sharpness in Interval Computations.	Reliable Computing	1997	DBLP DOI BibTeX RDF
1	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	1997	DBLP DOI BibTeX RDF
1	Yiyu Yao, S. K. Michael Wong	Interval Approaches for Uncertain Reasoning.	ISMIS	1997	DBLP DOI BibTeX RDF
1	Leticia S. Chee	Computing the Value of a Boolean Expression with Interval Inputs is NP-Hard.	Reliable Computing	1997	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Maximum entropy and interval computations - (September notes on summer impressions).	Reliable Computing	1996	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	SONIC'95: Student mini-symposium on interval computations.	Reliable Computing	1996	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Double bubble minimizes: Interval computations help in solving a long-standing geometric problem.	Reliable Computing	1996	DBLP DOI BibTeX RDF
1	R. Baker Kearfott	A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization.	ACM Trans. Math. Softw.	1995	DBLP DOI BibTeX RDF	nonlinear algebraic systems, global optimization, symbolic computation, automatic differentiation, Fortran 90, Fortran 90