Search results for "exactness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	Gradimir V. Milovanovic, Aleksandar S. Cvetkovic, Marija P. Stanic	Trigonometric Orthogonal Systems and Quadrature Formulae with Maximal Trigonometric Degree of Exactness.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF
46	Maxim V. Dolgopolik	A Unified Approach to the Global Exactness of Penalty and Augmented Lagrangian Functions I: Parametric Exactness.	J. Optim. Theory Appl.	2018	DBLP DOI BibTeX RDF
46	Maxim V. Dolgopolik	A Unified Approach to the Global Exactness of Penalty and Augmented Lagrangian Functions II: Extended Exactness.	J. Optim. Theory Appl.	2018	DBLP DOI BibTeX RDF
46	Yasuaki Oishi	Asymptotic exactness of parameter-dependent lyapunov functions: An error bound and exactness verification.	CDC	2007	DBLP DOI BibTeX RDF
43	Qizhi Fang, Liang Kong	Core Stability of Vertex Cover Games.	WINE	2007	DBLP DOI BibTeX RDF	Vertex cover game, stable core, largeness, exactness, balanced, extendability
43	Reinhard Rauscher, Andreas Krause 0007	A System for Heuristic Modifications on PLA - Specifications.	EUROMICRO	1996	DBLP DOI BibTeX RDF	heuristic modifications, PLA-specifications, numerical exactness, implicated deviation, optimization tool, HOPE, ESPRESSO, programmable logic arrays, binary coding
38	Qizhi Fang, Rudolf Fleischer, Jian Li 0015, Xiaoxun Sun	Algorithms for Core Stability, Core Largeness, Exactness, and Extendability of Flow Games.	COCOON	2007	DBLP DOI BibTeX RDF
38	Xuewu Du	Results on Exactness Properties of the HP-ALF for Inequality Constraints.	APCCAS	2006	DBLP DOI BibTeX RDF
38	Elzbieta Kasperska, Damian Slota	The Estimation of the Mathematical Exactness of System Dynamics Method on the Base of Some Economic System.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	System Dynamics Method, Simulation of the System of Production – Store – Sale, Simulation Language Dynamo
29	Katja Hose, Christian Lemke, Kai-Uwe Sattler, Daniel Zinn	A Relaxed But Not Necessarily Constrained Way from the Top to the Sky.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
29	Carsten W. Scherer, Camile W. J. Hol	Matrix Sum-of-Squares Relaxations for Robust Semi-Definite Programs.	Math. Program.	2006	DBLP DOI BibTeX RDF
29	Christian Böhm 0001, Alexey Pryakhin, Matthias Schubert	The Gauss-Tree: Efficient Object Identification in Databases of Probabilistic Feature Vectors.	ICDE	2006	DBLP DOI BibTeX RDF
29	Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001	Automatic Generation of Staged Geometric Predicates.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	robust predicates, floating-point filters, exact arithmetic, computational geometry, program transformation
29	Aleksandar Nanevski, Guy E. Blelloch, Robert Harper 0001	Automatic Generation of Staged Geometric Predicates.	ICFP	2001	DBLP DOI BibTeX RDF
29	Jonathan E. Cook, Cha He, Changjun Ma	Measuring Behavioral Correspondence to a Timed Concurrent Model.	ICSM	2001	DBLP DOI BibTeX RDF	event-based behavioral analysis, dynamic analysis, approximate matching, Process measurement
29	Bernd Becker 0001, Martin Keim, Rolf Krieger	Hybrid Fault Simulation for Synchronous Sequential Circuits.	J. Electron. Test.	1999	DBLP DOI BibTeX RDF	SOT, fault simulation, BDD, symbolic simulation, MOT
28	Elizabeth L. Mansfield	Digital atlases and difference forms.	ISSAC	2008	DBLP DOI BibTeX RDF	difference chains, difference forms, lattice variety, local difference potentials, local exactness, symbolic numeric methods, cohomology
28	Jorge Martinez 0001, Eric Richard Zenk	Nuclear Typing of Frames vs Spatial Selectors.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	nuclear typing, spatial selector, algebraic frame and space, exactness of typing, frame, patch
28	Peter Hachenberger, Lutz Kettner	Boolean operations on 3D selective Nef complexes: optimized implementation and experiments.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	boundary evaluation, exactness, nef polyhedra, unbounded polyhedra, algorithms, data structures, benchmark, robustness, experiments, completeness, CSG, non-manifold, B-rep
23	Congpei An, Hao-Ning Wu	Bypassing the quadrature exactness assumption of hyperinterpolation on the sphere.	J. Complex.	2024	DBLP DOI BibTeX RDF
23	Julia Lindberg, Jose Israel Rodriguez	Invariants of SDP exactness in quadratic programming.	J. Symb. Comput.	2024	DBLP DOI BibTeX RDF
23	Xi Chen 0070, Yizhe Hu, Teerachot Siriburanon, Jianglin Du, Robert Bogdan Staszewski, Anding Zhu	A 30-GHz Class-F Quadrature DCO Using Phase Shifts Between Drain-Gate-Source for Low Flicker Phase Noise and I/Q Exactness.	IEEE J. Solid State Circuits	2023	DBLP DOI BibTeX RDF
23	Daniele A. Di Pietro, Jérôme Droniou	An Arbitrary-Order Discrete de Rham Complex on Polyhedral Meshes: Exactness, Poincaré Inequalities, and Consistency.	Found. Comput. Math.	2023	DBLP DOI BibTeX RDF
23	Marco Locatelli 0001	KKT-based primal-dual exactness conditions for the Shor relaxation.	J. Glob. Optim.	2023	DBLP DOI BibTeX RDF
23	Jean-Luc Lupien, Antoine Lesage-Landry	An Ex Post Condition for the Exactness of Optimal Power Flow Conic Relaxations.	CoRR	2023	DBLP DOI BibTeX RDF
23	Simon Foucart, Chunyang Liao	S-Procedure Relaxation: a Case of Exactness Involving Chebyshev Centers.	CoRR	2023	DBLP DOI BibTeX RDF
23	Hao-Ning Wu, Xiaoming Yuan	Breaking quadrature exactness: A spectral method for the Allen-Cahn equation on spheres.	CoRR	2023	DBLP DOI BibTeX RDF
23	Yoshio Ebihara, Xin Dai, Victor Magron, Dimitri Peaucelle, Sophie Tarbouriech	Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification.	CoRR	2023	DBLP DOI BibTeX RDF
23	Monique Laurent, Luis Felipe Vargas	Exactness of Parrilo's Conic Approximations for Copositive Matrices and Associated Low Order Bounds for the Stability Number of a Graph.	Math. Oper. Res.	2023	DBLP DOI BibTeX RDF
23	Rujun Jiang, Duan Li 0002	Exactness Conditions for Semidefinite Programming Relaxations of Generalization of the Extended Trust Region Subproblem.	Math. Oper. Res.	2023	DBLP DOI BibTeX RDF
23	Daniel Bienstock, Alberto Del Pia, Robert Hildebrand	Complexity, exactness, and rationality in polynomial optimization.	Math. Program.	2023	DBLP DOI BibTeX RDF
23	Thai Doan Chuong, José Vicente-Pérez	Conic Relaxations with Stable Exactness Conditions for Parametric Robust Convex Polynomial Problems.	J. Optim. Theory Appl.	2023	DBLP DOI BibTeX RDF
23	Zekharya Danin, Ido Amiel, Neda V. Miteva, Moshe Averbukh	The Actual Exactness of a Fast RMS Correction during Abrupt Voltage Change.	Sensors	2023	DBLP DOI BibTeX RDF
23	Laure Daviaud, Andrew Ryzhikov	Universality and Forall-Exactness of Cost Register Automata with Few Registers.	MFCS	2023	DBLP DOI BibTeX RDF
23	Hyoju Seo, Seokhyeon Lee, Yongtae Kim	Computation Exactness Exploration of Exact Quantum Adders in NISQ.	ISOCC	2023	DBLP DOI BibTeX RDF
23	Mitchell Khoo, Tony A. Wood, Chris Manzie, Iman Shames	A greedy and distributable approach to the Lexicographic Bottleneck Assignment Problem with conditions on exactness.	Autom.	2022	DBLP DOI BibTeX RDF
23	Marianna De Santis, Gabriele Eichfelder, Daniele Patria	On the exactness of the ε-constraint method for biobjective nonlinear integer programming.	Oper. Res. Lett.	2022	DBLP DOI BibTeX RDF
23	Lloyd N. Trefethen	Exactness of Quadrature Formulas.	SIAM Rev.	2022	DBLP DOI BibTeX RDF
23	Kendrick Shepherd, Deepesh Toshniwal	Locally-verifiable sufficient conditions for exactness of the hierarchical B-spline discrete de Rham complex in Rn.	CoRR	2022	DBLP DOI BibTeX RDF
23	Andrey Kharitenko, Carsten W. Scherer	On the exactness of a stability test for Lur'e systems with slope-restricted nonlinearities.	CoRR	2022	DBLP DOI BibTeX RDF
23	Congpei An, Hao-Ning Wu	Bypassing the quadrature exactness assumption of hyperinterpolation on the sphere.	CoRR	2022	DBLP DOI BibTeX RDF
23	Congpei An, Hao-Ning Wu	On the quadrature exactness in hyperinterpolation.	CoRR	2022	DBLP BibTeX RDF
23	Shaofeng Lu, Minling Feng, Kunpeng Wu	On the Exactness of an Energy-efficient Train Control model based on Convex Optimization.	CoRR	2022	DBLP BibTeX RDF
23	Fengyu Zhou, Ahmed S. Zamzam, Steven H. Low, Nicholas D. Sidiropoulos	Exactness of OPF Relaxation on Three-Phase Radial Networks With Delta Connections.	IEEE Trans. Smart Grid	2021	DBLP DOI BibTeX RDF
23	Lloyd N. Trefethen	Exactness of quadrature formulas.	CoRR	2021	DBLP BibTeX RDF
23	Avram Sidi	Exactness and Convergence Properties of Some Recent Numerical Quadrature Formulas for Supersingular Integrals of Periodic Functions.	CoRR	2021	DBLP BibTeX RDF
23	Daniele Antonio Di Pietro, Jérôme Droniou	An arbitrary-order discrete de Rham complex on polyhedral meshes: Exactness, Poincaré inequalities, and consistency.	CoRR	2021	DBLP BibTeX RDF
23	Min Jiang, Zhiqing Meng, Rui Shen 0001	Partial Exactness for the Penalty Function of Biconvex Programming.	Entropy	2021	DBLP DOI BibTeX RDF
23	Daniel Bienstock, Alberto Del Pia, Robert Hildebrand	Complexity, Exactness, and Rationality in Polynomial Optimization.	IPCO	2021	DBLP DOI BibTeX RDF
23	Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao 0003, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar 0001, Wei Zeng 0015, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang 0006, Hanyu Wang 0005, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee	Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization.	DATE	2021	DBLP DOI BibTeX RDF
23	Toshiaki Wakatsuki, Sekitoshi Kanai, Yasuhiro Fujiwara	Accelerate Inference of CNNs for Video Analysis While Preserving Exactness Exploiting Activation Sparsity.	MLSys	2021	DBLP BibTeX RDF
23	Anthony Francis, Patrick Fritzsch, Martin Lüscher, Antonio Rago 0002	Master-field simulations of O(a)-improved lattice QCD: Algorithms, stability and exactness.	Comput. Phys. Commun.	2020	DBLP DOI BibTeX RDF
23	Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa Jr., Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao 0003, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jônata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar 0001, Wei Zeng 0015, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang 0006, Hanyu Wang 0005, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee	Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization.	CoRR	2020	DBLP BibTeX RDF
23	Nicholas Mattei, Paolo Turrini, Stanislav Zhydkov	PeerNomination: Relaxing Exactness for Increased Accuracy in Peer Selection.	CoRR	2020	DBLP BibTeX RDF
23	Diego Cifuentes, Corey Harris, Bernd Sturmfels	The geometry of SDP-exactness in quadratic optimization.	Math. Program.	2020	DBLP DOI BibTeX RDF
23	Nicholas Mattei, Paolo Turrini, Stanislav Zhydkov	PeerNomination: Relaxing Exactness for Increased Accuracy in Peer Selection.	IJCAI	2020	DBLP DOI BibTeX RDF
23	Tom-Lukas Kriel, Markus Schweighofer	On the Exactness of Lasserre Relaxations and Pure States Over Real Closed Fields.	Found. Comput. Math.	2019	DBLP DOI BibTeX RDF
23	Tadeusz Antczak	Exactness of the absolute value penalty function method for nonsmooth -invex optimization problems.	Int. Trans. Oper. Res.	2019	DBLP DOI BibTeX RDF
23	Masato Mimura	Amenability versus non-exactness of dense subgroups of a compact group.	J. Lond. Math. Soc.	2019	DBLP DOI BibTeX RDF
23	Izumi Masubuchi, Takayuki Wada, Yasumasa Fujisaki, Fabrizio Dabbene	A New Distributed Constrained Multi-Agent Optimization Protocol with Convergence Proof via Exactness of Penalized Objective Function.	ASCC	2019	DBLP BibTeX RDF
23	Krishnamurthy (Dj) Dvijotham, Robert Stanforth, Sven Gowal, Chongli Qin, Soham De, Pushmeet Kohli	Efficient Neural Network Verification with Exactness Characterization. (PDF / PS)	UAI	2019	DBLP BibTeX RDF
23	Tom-Lukas Kriel, Markus Schweighofer	On the Exactness of Lasserre Relaxations for Compact Convex Basic Closed Semialgebraic Sets.	SIAM J. Optim.	2018	DBLP DOI BibTeX RDF
23	Carsten Carstensen, Johannes Storn	Asymptotic Exactness of the Least-Squares Finite Element Residual.	SIAM J. Numer. Anal.	2018	DBLP DOI BibTeX RDF
23	Diego Cifuentes, Corey Harris, Bernd Sturmfels	The Geometry of SDP-Exactness in Quadratic Optimization.	CoRR	2018	DBLP BibTeX RDF
23	Tadeusz Antczak	Exactness Property of the Exact Absolute Value Penalty Function Method for Solving Convex Nondifferentiable Interval-Valued Optimization Problems.	J. Optim. Theory Appl.	2018	DBLP DOI BibTeX RDF
23	Madison Flowers, Rosie Aboody, Julian Jara-Ettinger	Beyond Principles and Outcomes: Children Determine Fairness Based on Attention and Exactness.	CogSci	2018	DBLP BibTeX RDF
23	Alexander Kurz 0001, Jirí Velebil	Quasivarieties and varieties of ordered algebras: regularity and exactness.	Math. Struct. Comput. Sci.	2017	DBLP DOI BibTeX RDF
23	Luca Gaetano Amarù, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli	Multi-level logic benchmarks: An exactness study.	ASP-DAC	2017	DBLP DOI BibTeX RDF
23	Krishnendu Chatterjee, Laurent Doyen 0001, Thomas A. Henzinger	The Cost of Exactness in Quantitative Reachability.	Models, Algorithms, Logics and Tools	2017	DBLP DOI BibTeX RDF
23	Marco Locatelli 0001	Exactness conditions for an SDP relaxation of the extended trust region problem.	Optim. Lett.	2016	DBLP DOI BibTeX RDF
23	Johan de Villiers, Mpfareleni Rejoyce Gavhi	Local interpolation with optimal polynomial exactness in refinement spaces.	Math. Comput.	2016	DBLP DOI BibTeX RDF
23	Marco Bernardo 0001	On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi.	Theor. Comput. Sci.	2015	DBLP DOI BibTeX RDF
23	Nicholas Ruozzi	Exactness of Approximate MAP Inference in Continuous MRFs.	NIPS	2015	DBLP BibTeX RDF
23	Somayeh Sojoudi, Javad Lavaei	Exactness of Semidefinite Relaxations for Nonlinear Optimization Problems with Underlying Graph Structure.	SIAM J. Optim.	2014	DBLP DOI BibTeX RDF
23	Tommaso Moraschini	An algebraic study of exactness in partial contexts.	Int. J. Approx. Reason.	2014	DBLP DOI BibTeX RDF
23	Steven H. Low	Convex Relaxation of Optimal Power Flow, Part II: Exactness.	CoRR	2014	DBLP BibTeX RDF
23	Steven H. Low	Convex Relaxation of Optimal Power Flow - Part II: Exactness.	IEEE Trans. Control. Netw. Syst.	2014	DBLP DOI BibTeX RDF
23	Zhiqing Meng, Chuangyin Dang, Min Jiang, Xinsheng Xu, Rui Shen 0001	Exactness and algorithm of an objective penalty function.	J. Glob. Optim.	2013	DBLP DOI BibTeX RDF
23	Miguel F. Anjos, Manuel V. C. Vieira	Semidefinite resolution and exactness of semidefinite relaxations for satisfiability.	Discret. Appl. Math.	2013	DBLP DOI BibTeX RDF
23	Ioannis Z. Emiris, Tatjana Kalinka, Christos Konaxis, Thang Luu Ba	Sparse implicitization by interpolation: Characterizing non-exactness and an application to computing discriminants.	Comput. Aided Des.	2013	DBLP DOI BibTeX RDF
23	Somayeh Sojoudi, Javad Lavaei	On the exactness of semidefinite relaxation for nonlinear optimization over graphs: Part II.	CDC	2013	DBLP DOI BibTeX RDF
23	Somayeh Sojoudi, Javad Lavaei	On the exactness of semidefinite relaxation for nonlinear optimization over graphs: Part I.	CDC	2013	DBLP DOI BibTeX RDF
23	Pierre Néron	A Quest for Exactness: Program Transformation for Reliable Real Numbers. (Transformation de Programmes pour des Nombres Réels Fiables).		2013	RDF
23	Michael Mendler, Thomas R. Shiple, Gérard Berry	Constructive Boolean circuits and the exactness of timed ternary simulation.	Formal Methods Syst. Des.	2012	DBLP DOI BibTeX RDF
23	Kerstin Hesse, Robert S. Womersley	Numerical integration with polynomial exactness over a spherical cap.	Adv. Comput. Math.	2012	DBLP DOI BibTeX RDF
23	Lingwen Gan, Na Li, Ufuk Topcu, Steven H. Low	On the exactness of convex relaxation for optimal power flow in tree networks.	CDC	2012	DBLP DOI BibTeX RDF
23	Marco Tulio Angulo, Jaime A. Moreno, Leonid M. Fridman	Some remarks about the tradeoffs between exactness and robustness in control.	VSS	2012	DBLP DOI BibTeX RDF
23	Zbigniew S. Kowalski	Dual Skew Products, Genericity of the Exactness Property and Finance.	Int. J. Bifurc. Chaos	2011	DBLP DOI BibTeX RDF
23	James W. Boudreau, Vicki Knoblauch	Dividing profits three ways: Exactness vs. consensuality.	Math. Soc. Sci.	2011	DBLP DOI BibTeX RDF
23		Exchangeable equilibria contradict exactness of the Papadimitriou-Roughgarden algorithm	CoRR	2010	DBLP BibTeX RDF
23	Ronald Cools, Frances Y. Kuo, Dirk Nuyens	Constructing lattice rules based on weighted degree of exactness and worst case error.	Computing	2010	DBLP DOI BibTeX RDF
23	Tanagorn Jennawasin, Michihiro Kawanishi, Tatsuo Narikiyo	Exactness verification of sum-of-squares approximations to robust semidefinite programs with functional variables.	ACC	2010	DBLP DOI BibTeX RDF
23	Yoshio Ebihara, Yusuke Matsuda, Tomomichi Hagiwara	Asymptotic exactness of dual LMI approach for robust performance analysis of uncertain LTI systems.	CDC	2010	DBLP DOI BibTeX RDF
23	Daisuke Maruyama, Izumi Masubuchi	Exactness verification of upper-bound relaxations derived via parameter-dependent multipliers for rational uncertainty blocks.	CACSD	2010	DBLP DOI BibTeX RDF
23	Yoshio Ebihara, Yusuke Onishi, Tomomichi Hagiwara	Robust Performance Analysis of Uncertain LTI Systems: Dual LMI Approach and Verifications for Exactness.	IEEE Trans. Autom. Control.	2009	DBLP DOI BibTeX RDF
23	Gradimir V. Milovanovic, Aleksandar S. Cvetkovic, Marija P. Stanic	Quadrature formulae with multiple nodes and a maximal trigonometric degree of exactness.	Numerische Mathematik	2009	DBLP DOI BibTeX RDF
23	Izumi Masubuchi, Carsten W. Scherer	A recursive algorithm of exactness verification of relaxations for robust SDPs.	Syst. Control. Lett.	2009	DBLP DOI BibTeX RDF
23	Yoshio Ebihara	An elementary proof for the exactness of (D, G) scaling.	ACC	2009	DBLP DOI BibTeX RDF
23	Charles Pelling	Exactness, inexactness, and the non-transitivity of perceptual indiscriminability.	Synth.	2008	DBLP DOI BibTeX RDF
23	Michael Chertkov	Exactness of Belief Propagation for some Graphical Models with Loops	CoRR	2008	DBLP BibTeX RDF