Search results for "Interval methods"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Karol Gajda, Malgorzata A. Jankowska, Andrzej Marciniak, Barbara Szyszka	A Survey of Interval Runge-Kutta and Multistep Methods for Solving the Initial Value Problem.	PPAM	2007	DBLP DOI BibTeX RDF	the initial value problem, one-step interval methods, symplectic interval methods, multistep interval methods, floating-point interval arithmetic
2	Chenyi Hu, Ling T. He	An Application of Interval Methods to Stock Market Forecasting.	Reliable Computing	2007	DBLP DOI BibTeX RDF
2	Bartlomiej Jacek Kubica, Adam Wozniak	Interval Methods for Computing the Pareto-front of a Multicriterial Problem.	PPAM	2007	DBLP DOI BibTeX RDF
2	Luke E. K. Achenie, Vladik Kreinovich, Kaj Madsen	Interval Methods: An Introduction.	PARA	2004	DBLP DOI BibTeX RDF
2	David Daney, Yves Papegay, Arnold Neumaier	Interval Methods for Certification of the Kinematic Calibration of Parallel Robots.	ICRA	2004	DBLP DOI BibTeX RDF
2	Ivo P. Nenov, Daniel H. Fylstra	Interval Methods for Accelerated Global Search in the Microsoft Excel Solver.	Reliable Computing	2003	DBLP DOI BibTeX RDF
2	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	2001	DBLP DOI BibTeX RDF
2	William W. Edmonson, Wen H. Lee, John M. M. Anderson	Interval Methods for Sinusoidal Parameter Estimation: A Comparative Analysis.	Reliable Computing	2000	DBLP DOI BibTeX RDF
2	Leocadio G. Casado, Inmaculada García, Tibor Csendes	A New Multisection Technique in Interval Methods for Global Optimization.	Computing	2000	DBLP DOI BibTeX RDF	AMS Subject Classifications: 65K05, 90C30
2	Affonso de Cusatis Junior, Luiz Henrique de Figueiredo, Marcelo Gattass	Interval Methods for Ray Casting Implicit Surfaces with Affine Arithmetic. (PDF / PS)	SIBGRAPI	1999	DBLP DOI BibTeX RDF	root location, range analysis, self-validated computing, interval arithmetic, image synthesis
2	David Morales, Tran Cao Son	Interval Methods in Robot Navigation.	Reliable Computing	1998	DBLP DOI BibTeX RDF
2	Cheryl Harkness, Daniel P. Lopresti	Interval methods for modeling uncertainty in RC timing analysis.	IEEE Trans. on CAD of Integrated Circuits and Systems	1992	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2012	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2012	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2011	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2011	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2011	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2011	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2011	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2011	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2010	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2010	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2010	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2010	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2010	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2010	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2009	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2009	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2009	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2009	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2009	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2009	DBLP DOI BibTeX RDF
1	William W. Edmonson, Wen H. Lee	Global Optimization Methods for Harmonic Retrieval.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Harmonic retrieval, Global optimization, Expectation maximization, Interval methods
1	Helmut Ratschek, Jon G. Rokne	Interval Global Optimization.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Unbounded optimization, Global optimization, Nonsmooth optimization, Interval methods
1	H. Edwin Romeijn	Random Search Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Unbounded optimization, Global optimization, Nonsmooth optimization, Interval methods
1	Ignacio Araya, Gilles Trombettoni, Bertrand Neveu	Filtering Numerical CSPs Using Well-Constrained Subsystems.	CP	2009	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2008	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2008	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2008	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2008	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2008	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2008	DBLP DOI BibTeX RDF
1	Amith Singhee, Claire Fang Fang, James D. Ma, Rob A. Rutenbar	Probabilistic Interval-Valued Computation: Toward a Practical Surrogate for Statistics Inside CAD Tools.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	Kunihiko Hiraishi	Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds.	Petri Nets	2008	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2007	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2007	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2007	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2007	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2007	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2007	DBLP DOI BibTeX RDF
1	William W. Edmonson, Senanu Ocloo, Cranos Williams, Winser E. Alexander	The Use of Interval Methods in Signal Processing and Control for Systems Biology.	FOCI	2007	DBLP DOI BibTeX RDF
1	Wayne H. Enright, Wayne B. Hayes	Robust and reliable defect control for Runge-Kutta methods.	ACM Trans. Math. Softw.	2007	DBLP DOI BibTeX RDF	interpolation, ordinary differential equations, Runge-Kutta methods, Initial value problems
1	Hartmut Schwandt	Two-Stage Interval Krawczyk-Schwarz Methods with Applications to Nonlinear Parabolic PDE.	ICCSA	2007	DBLP DOI BibTeX RDF	almost linear parabolic problems, enclosure methods, Newton-like methods, Krawczyk operator, Schwarz Alternating Procedure, parallel methods, domain decomposition, nonlinear systems of equations
1	George F. Corliss, Christopher Foley, R. Baker Kearfott	Formulation for Reliable Analysis of Structural Frames.	Reliable Computing	2007	DBLP DOI BibTeX RDF
1	George F. Corliss, Kaj Madsen	Second Scandinavian Workshop on Interval Methods and Their Applications.	Reliable Computing	2006	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2006	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2006	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2006	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2006	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2006	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2006	DBLP DOI BibTeX RDF
1	Mihály Csaba Markót, J. Fernández, Leocadio G. Casado, Tibor Csendes	New interval methods for constrained global optimization.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 65G10, 90B85, 90C30, 65K05
1	Amith Singhee, Claire Fang Fang, James D. Ma, Rob A. Rutenbar	Probabilistic interval-valued computation: toward a practical surrogate for statistics inside CAD tools.	DAC	2006	DBLP DOI BibTeX RDF	algorithms, DFM, intervals
1	Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck	Geometric constraints solving: some tracks.	Symposium on Solid and Physical Modeling	2006	DBLP DOI BibTeX RDF	bernstein base, incidence constraint, randomized prover, rigidity theory, witness configuration, decomposition, projective geometry, geometric constraints solving
1	Laurent Granvilliers, Frédéric Benhamou	Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	interval Newton, constraint satisfaction, Interval arithmetic, nonlinear system, local consistency
1	Frédéric Goualard, Christophe Jermann	On the Selection of a Transversal to Solve Nonlinear Systems with Interval Arithmetic.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Alistair P. Rendell, Bill Clarke, Josh Milthorpe	Interval Arithmetic and Computational Science: Performance Considerations.	International Conference on Computational Science	2006	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods In Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2005	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2005	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2005	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2005	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval methods in knowledge representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2005	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2005	DBLP DOI BibTeX RDF
1	Qiang Duan, Chenyi Hu, Han-Chieh Wei	Enhancing network intrusion detection systems with interval methods.	SAC	2005	DBLP DOI BibTeX RDF	intrusion detection, network control, interval method
1	Zbigniew Galias	On rigorous study of Poincare maps defined by piecewise linear systems [electronic circuit example].	ISCAS	2005	DBLP DOI BibTeX RDF
1	Zhuquan Zang, Sven Nordholm	Design of ODMA Digital Waveforms Using Non-Convex Optimization Methods.	Annals OR	2005	DBLP DOI BibTeX RDF	max-min type constraints, correlation constraints, spectral shaping, intersymbol interference, multiple access communications, co-channel interference, non-convex optimization
1	Miodrag S. Petkovic, Dusan M. Milosevic	Derivative Free Inclusion Methods for Polynomial Zeros.	Computing	2005	DBLP DOI BibTeX RDF	Complex zeros of polynomials, simultaneous methods, multistage algorithms, R-order, circular arithmetic, convergence analysis, combined method
1	Steffen Schön, Hansjörg Kutterer	Using Zonotopes for Overestimation-Free Interval Least-Squares-Some Geodetic Applications.	Reliable Computing	2005	DBLP DOI BibTeX RDF
1	Boglárka Tóth, Tibor Csendes	Empirical Investigation of the Convergence Speed of Inclusion Functions in a Global Optimization Context.	Reliable Computing	2005	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods In Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2004	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods In Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2004	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods In Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2004	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Corrigendum: Interval Methods In Knowledge Representation (Abstracts Of Recent Papers).	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2004	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods In Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2004	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods In Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2004	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods In Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2004	DBLP DOI BibTeX RDF
1	Andrzej Marciniak	Implicit Interval Methods for Solving the Initial Value Problem.	Numerical Algorithms	2004	DBLP DOI BibTeX RDF
1	Antoaneta Serguieva, John Hunter	Fuzzy interval methods in investment risk appraisal.	Fuzzy Sets and Systems	2004	DBLP DOI BibTeX RDF
1	Luke E. K. Achenie, Gennadi M. Ostrovsky	A Chemical Engineering Challenge Problem That Can Benefit from Interval Methods.	PARA	2004	DBLP DOI BibTeX RDF
1	Philippe Clauss, Irina Tchoupaeva	A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization.	CC	2004	DBLP DOI BibTeX RDF
1	Lucas Bordeaux, Brice Pajot	Computing Equilibria Using Interval Constraints.	CSCLP	2004	DBLP DOI BibTeX RDF
1	Jiwei Xue, Yaohui Li, Yong Feng, Zhong Liu	An Intelligent Hybrid Algorithm for Solving Non-linear Polynomial Systems.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation .	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2003	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2003	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2003	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods in Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2003	DBLP DOI BibTeX RDF
1	Vladik Kreinovich	Interval Methods In Knowledge Representation.	International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems	2003	DBLP DOI BibTeX RDF
1	Marek W. Gutowski	Power and beauty of interval methods	CoRR	2003	DBLP BibTeX RDF
1	Jens Hoefkens, Martin Berz, Kyoko Makino	Computing Validated Solutions of Implicit Differential Equations.	Adv. Comput. Math.	2003	DBLP DOI BibTeX RDF	Taylor model, self-validated methods, differential algebraic equations, interval methods
1	Claire Fang Fang, Rob A. Rutenbar, Markus Püschel, Tsuhan Chen	Toward efficient static analysis of finite-precision effects in DSP applications via affine arithmetic modeling.	DAC	2003	DBLP DOI BibTeX RDF	Static error analysis, custom floating-point, embedded hardware, probabilistic error bound, affine arithmetic