Search results for "Infeasibility"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Imre Pólik, Tamás Terlaky	New stopping criteria for detecting infeasibility in conic optimization.	Optimization Letters	2009	DBLP DOI BibTeX RDF	Approximate Farkas theorem, Conic optimization, Infeasibility, Stopping criteria
2	Mark H. Liffiton, Maher N. Mneimneh, Inês Lynce, Zaher S. Andraus, João Marques-Silva, Karem A. Sakallah	A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas.	Constraints	2009	DBLP DOI BibTeX RDF	Infeasibility, Minimal unsatisfiable subformula, MUS, Smallest minimal unsatisfiable subformula, SMUS, SAT, Boolean satisfiability
2	Hemant K. Singh, Amitay Isaacs, Tapabrata Ray, Warren Smith	Infeasibility Driven Evolutionary Algorithm (IDEA) for Engineering Design Optimization.	Australasian Conference on Artificial Intelligence	2008	DBLP DOI BibTeX RDF
2	Jesús A. De Loera, Jon Lee, Peter N. Malkin, Susan Margulies	Hilbert's nullstellensatz and an algorithm for proving combinatorial infeasibility.	ISSAC	2008	DBLP DOI BibTeX RDF	nullstellensatz
2	Fan Yang, Joseph C. Culberson, Robert Holte	Using Infeasibility to Improve Abstraction-Based Heuristics.	SARA	2007	DBLP DOI BibTeX RDF
2	El-Sayed M. E. Mostafa, Luís N. Vicente, Stephen J. Wright	Numerical Behavior of a Stabilized SQP Method for Degenerate NLP Problems.	COCOS	2002	DBLP DOI BibTeX RDF	identification of active constraints, infeasibility, nonlinear programming, degeneracy, successive quadratic programming
2	Jonathan A. Wright, Heather Loosemore	An Infeasibility Objective for Use in Constrained Pareto Optimization.	EMO	2001	DBLP DOI BibTeX RDF
2	Amie L. Souter, Lori L. Pollock	Type Infeasible Call Chains.	SCAM	2001	DBLP DOI BibTeX RDF	Call chains, Type Infeasibility
1	Hsuan-Shih Lee, Joe Zhu	Super-efficiency infeasibility and zero data in DEA.	European Journal of Operational Research	2012	DBLP DOI BibTeX RDF
1	Euclides Almeida, Argimiro R. Secchi	Solving dynamic optimization infeasibility problems.	Computers & Chemical Engineering	2012	DBLP DOI BibTeX RDF
1	Hendra Ishwara Nurdin, Ian R. Petersen, Matthew R. James	On the Infeasibility of Entanglement Generation in Gaussian Quantum Systems via Classical Control.	IEEE Trans. Automat. Contr.	2012	DBLP DOI BibTeX RDF
1	José Mario Martínez, Leandro da Fonseca Prudente	Handling infeasibility in a large-scale nonlinear optimization algorithm.	Numerical Algorithms	2012	DBLP DOI BibTeX RDF
1	Sumit Kumar Jha, Christopher James Langmead	Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Jesús A. De Loera, Jon Lee, Peter N. Malkin, Susan Margulies	Computing infeasibility certificates for combinatorial problems through Hilbert's Nullstellensatz.	J. Symb. Comput.	2011	DBLP DOI BibTeX RDF
1	Yao Chen, Liang Liang	Super-efficiency DEA in the presence of infeasibility: One model approach.	European Journal of Operational Research	2011	DBLP DOI BibTeX RDF
1	Hsuan-Shih Lee, Ching-Wu Chu, Joe Zhu	Super-efficiency DEA in the presence of infeasibility.	European Journal of Operational Research	2011	DBLP DOI BibTeX RDF
1	Hendra Ishwara Nurdin, Ian R. Petersen, Matthew R. James	On the infeasibility of entanglement generation in Gaussian quantum systems via classical control	CoRR	2011	DBLP BibTeX RDF
1	Lance Fortnow, Rahul Santhanam	Infeasibility of instance compression and succinct PCPs for NP.	J. Comput. Syst. Sci.	2011	DBLP DOI BibTeX RDF
1	Patryk Filipiak, Krzysztof Michalak, Piotr Lipinski	Infeasibility Driven Evolutionary Algorithm with ARIMA-Based Prediction Mechanism.	IDEAL	2011	DBLP DOI BibTeX RDF
1	Richard H. Byrd, Frank E. Curtis, Jorge Nocedal	Infeasibility Detection and SQP Methods for Nonlinear Optimization.	SIAM Journal on Optimization	2010	DBLP DOI BibTeX RDF
1	Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo	On the infeasibility of modeling polymorphic shellcode - Re-thinking the role of learning in intrusion detection systems.	Machine Learning	2010	DBLP DOI BibTeX RDF
1	Gholam R. Amin	A comment on modified big-M method to recognize the infeasibility of linear programming models.	Knowl.-Based Syst.	2010	DBLP DOI BibTeX RDF
1	Maristela Oliveira Santos, Sadao Massago, Bernardo Almada-Lobo	Infeasibility handling in genetic algorithm using nested domains for production planning.	Computers & OR	2010	DBLP DOI BibTeX RDF
1	Hemant K. Singh, Tapabrata Ray, Warren Smith	Performance of Infeasibility Empowered Memetic Algorithm (IEMA) on Engineering Design Problems.	Australasian Conference on Artificial Intelligence	2010	DBLP DOI BibTeX RDF
1	Hemant Kumar Singh, Tapabrata Ray, Warren Smith	Performance of infeasibility empowered memetic algorithm for CEC 2010 constrained optimization problems.	IEEE Congress on Evolutionary Computation	2010	DBLP DOI BibTeX RDF
1	Marco D'Apuzzo, Valentina de Simone, Daniela di Serafino	Starting-point strategies for an infeasible potential reduction method.	Optimization Letters	2010	DBLP DOI BibTeX RDF	Starting point, Potential reduction, Quadratic programming
1	A. L. Johnson, L. F. McGinnis	The hyperbolic-oriented efficiency measure as a remedy to infeasibility of super efficiency models.	JORS	2009	DBLP DOI BibTeX RDF
1	Wade D. Cook, L. Liang, Y. Zha, Joe Zhu	A modified super-efficiency DEA model for infeasibility.	JORS	2009	DBLP DOI BibTeX RDF
1	Hemant K. Singh, Amitay Isaacs, Trung Thanh Nguyen 0002, Tapabrata Ray, Xin Yao	Performance of infeasibility driven evolutionary algorithm (IDEA) on constrained dynamic single objective optimization problems.	IEEE Congress on Evolutionary Computation	2009	DBLP DOI BibTeX RDF
1	Mariano Jiménez, Amelia Bilbao-Terol, Mar Arenas Parra, Maria Victoria Rodríguez Uría	Repairing Infeasibility in Fuzzy Goal Programming.	IFSA/EUSFLAT Conf.	2009	DBLP BibTeX RDF
1	Cynthia Dwork, Moni Naor, Omer Reingold, Guy N. Rothblum, Salil P. Vadhan	On the complexity of differentially private data release: efficient algorithms and hardness results.	STOC	2009	DBLP DOI BibTeX RDF	exponential mechanism, privacy, cryptography, traitor tracing, differential privacy
1	Michel Meulpolder, Johan A. Pouwelse, Dick H. J. Epema, Henk J. Sips	BarterCast: A practical approach to prevent lazy freeriding in P2P networks.	IPDPS	2009	DBLP DOI BibTeX RDF
1	Tae Won Ban, Wan Choi, Dan Keun Sung	Capacity and energy efficiency of multi-user spectrum sharing systems with opportunistic scheduling.	IEEE Transactions on Wireless Communications	2009	DBLP DOI BibTeX RDF
1	Mark S. K. Lau, Wuyi Yue, Li Ping	Equal power allocation of IDMA systems: Feasibility, optimality, and throughput.	IEEE Transactions on Wireless Communications	2009	DBLP DOI BibTeX RDF
1	Benjamin Peterson, Michael A. Trick	A Benders'Approach to a Transportation Network Design Problem.	CPAIOR	2009	DBLP DOI BibTeX RDF
1	Cédric Piette, Youssef Hamadi, Lakhdar Sais	Efficient Combination of Decision Procedures for MUS Computation.	FroCos	2009	DBLP DOI BibTeX RDF
1	Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu	Dynamic Path Reduction for Software Model Checking.	IFM	2009	DBLP DOI BibTeX RDF
1	Grant Olney Passmore, Paul B. Jackson	Combined Decision Techniques for the Existential Theory of the Reals.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
1	Vishal Saraswat, Aaram Yun	Anonymous Signatures Revisited.	ProvSec	2009	DBLP DOI BibTeX RDF	anonymous signature, unpreten- dability, anonymity, signature
1	Yongduek Seo, Hyunjung Lee, Sang Wook Lee	Outlier Removal by Convex Optimization for L-Infinity Approaches.	PSIVT	2009	DBLP DOI BibTeX RDF
1	Matthias Heizmann, Jochen Hoenicke, Andreas Podelski	Refinement of Trace Abstraction.	SAS	2009	DBLP DOI BibTeX RDF
1	Kent Andersen, Quentin Louveaux, Robert Weismantel	Certificates of linear mixed integer infeasibility.	Oper. Res. Lett.	2008	DBLP DOI BibTeX RDF
1	Akimichi Takemura, Ruriko Yoshida	A generalization of the integer linear infeasibility problem.	Discrete Optimization	2008	DBLP DOI BibTeX RDF
1	Roberto H. Bielschowsky, Francisco A. M. Gomes	Dynamic Control of Infeasibility in Equality Constrained Optimization.	SIAM Journal on Optimization	2008	DBLP DOI BibTeX RDF
1	Dimos V. Dimarogonas, Kostas J. Kyriakopoulos	A connection between formation infeasibility and velocity alignment in kinematic multi-agent systems.	Automatica	2008	DBLP DOI BibTeX RDF
1	Peter Broström, Kaj Holmberg	Valid cycles: A source of infeasibility in open shortest path first routing.	Networks	2008	DBLP DOI BibTeX RDF
1	Majid Soleimani-Damaneh	Modified big-M method to recognize the infeasibility of linear programming models.	Knowl.-Based Syst.	2008	DBLP DOI BibTeX RDF
1	Mustafa K. Atlihan, Linus Schrage	Generalized filtering algorithms for infeasibility analysis.	Computers & OR	2008	DBLP DOI BibTeX RDF
1	Jian Yang	Infeasibility resolution based on goal programming.	Computers & OR	2008	DBLP DOI BibTeX RDF
1	Matteo Fischetti, Andrea Lodi	Repairing MIP infeasibility through local branching.	Computers & OR	2008	DBLP DOI BibTeX RDF
1	Gábor Pataki, Mustafa Tural	Branching proofs of infeasibility in low density subset sum problems	CoRR	2008	DBLP BibTeX RDF
1	Éric Grégoire, Bertrand Mazure, Cédric Piette	On Approaches to Explaining Infeasibility of Sets of Boolean Clauses.	ICTAI	2008	DBLP DOI BibTeX RDF
1	Lance Fortnow, Rahul Santhanam	Infeasibility of instance compression and succinct PCPs for NP.	STOC	2008	DBLP DOI BibTeX RDF	instance compression, succinct PCPs, cryptography, parameterized complexity, polynomial hierarchy
1	Gabriela Moise, Jörg Sander	Finding non-redundant, statistically significant regions in high dimensional data: a novel approach to projected and subspace clustering.	KDD	2008	DBLP DOI BibTeX RDF	subspace clustering, projected clustering
1	Sumit Kumar Jha, Susmit Jha	Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata: Distributed Randomized Abstractions in Model Checking.	HASE	2008	DBLP DOI BibTeX RDF
1	Mehdi Rasti, Ahmad R. Sharafat, Jens Zander	A distributed and efficient power control algorithm for wireless networks.	PIMRC	2008	DBLP DOI BibTeX RDF
1	Kuang-Yow Lian, Hui-Wen Tu	LMI-Based Adaptive Tracking Control for Parametric Strict-Feedback Systems.	IEEE T. Fuzzy Systems	2008	DBLP DOI BibTeX RDF
1	Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal	Connections in Networks: A Hybrid Approach.	CPAIOR	2008	DBLP DOI BibTeX RDF
1	Yongduek Seo, Hyunjung Lee, Sang Wook Lee	Sparse Structures in L-Infinity Norm Minimization for Structure and Motion Reconstruction.	ECCV	2008	DBLP DOI BibTeX RDF
1	Sumit Kumar Jha	d-IRA: A Distributed Reachability Algorithm for Analysis of Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
1	Mark H. Liffiton, Karem A. Sakallah	Searching for Autarkies to Trim Unsatisfiable Clause Sets.	SAT	2008	DBLP DOI BibTeX RDF
1	Nitza Geri, Niv Ahituv	A Theory of Constraints approach to interorganizational systems implementation.	Inf. Syst. E-Business Management	2008	DBLP DOI BibTeX RDF	Interorganizational systems (IOS), Theory of Constraints (TOC), Information systems adoption and implementation, Organizational feasibility of information systems
1	Michael J. Todd	Dual versus primal-dual interior-point methods for linear and conic programming.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C25, 90C51
1	Olivier Lambrechts, Erik Demeulemeester, Willy Herroelen	Proactive and reactive strategies for resource-constrained project scheduling with uncertain resource availabilities.	J. Scheduling	2008	DBLP DOI BibTeX RDF	Proactive/reactive project scheduling, Stochastic resource breakdowns
1	Lance Fortnow, Rahul Santhanam	Infeasibility of Instance Compression and Succinct PCPs for NP.	Electronic Colloquium on Computational Complexity (ECCC)	2007	DBLP BibTeX RDF
1	Leocadio G. Casado, Eligius M. T. Hendrix, Inmaculada García	Infeasibility spheres for finding robust solutions of blending problems with quadratic constraints.	J. Global Optimization	2007	DBLP DOI BibTeX RDF
1	Marcos Pereira Estellita Lins, Angela Cristina Moreira da Silva, C. A. Knox Lovell	Avoiding infeasibility in DEA models with weight restrictions.	European Journal of Operational Research	2007	DBLP DOI BibTeX RDF
1	Enrico Malizia, Luigi Palopoli, Francesco Scarcello	Infeasibility Certificates and the Complexity of the Core in Coalitional Games.	IJCAI	2007	DBLP BibTeX RDF
1	Dhish Kumar Saxena, Kalyanmoy Deb	Trading on infeasibility by exploiting constraint's criticality through multi-objectivization: A system design perspective.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Yingbo Song, Michael E. Locasto, Angelos Stavrou, Angelos D. Keromytis, Salvatore J. Stolfo	On the infeasibility of modeling polymorphic shellcode.	ACM Conference on Computer and Communications Security	2007	DBLP DOI BibTeX RDF	shellcode, polymorphism, statistical models, signature generation
1	Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko	Path invariants.	PLDI	2007	DBLP DOI BibTeX RDF	invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement
1	Sudip K. Mazumder, Kaustuva Acharya, Muhammad Tahir	Network reconfiguration of distributed controlled homogenous power inverter network using composite Lyapunov function based reachability bound.	SCSC	2007	DBLP DOI BibTeX RDF	piecewise linear systems, reaching conditions, switching power converters, linear matrix inequality, Markov-chain model, Lyapunov stability
1	Jingbin Zhang, Ting Yan, John A. Stankovic, Sang Hyuk Son	Thunder: towards practical, zero cost acoustic localization for outdoor wireless sensor networks.	Mobile Computing and Communications Review	2007	DBLP DOI BibTeX RDF
1	Steven Orla Kimbrough, David Harlan Wood	On gray-coded binary representation for supporting a (repair-by-interpolation) genetic operator for constrained Optimization Problems.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
1	Hongbin Lu, Kai Zheng, Bin Liu 0001, Changhua Sun	A Robust Approach for Matching Mixed Casesensitive and Case-insensitive Patterns.	ICNS	2007	DBLP DOI BibTeX RDF
1	Irina Rish, Gerald Tesauro	Estimating End-to-End Performance by Collaborative Prediction with Active Sampling.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
1	Keye Martin	Secure Communication without Encryption?	IEEE Security & Privacy	2007	DBLP DOI BibTeX RDF
1	Stephen P. Boyd, Ben Wegbreit	Fast Computation of Optimal Contact Forces.	IEEE Transactions on Robotics	2007	DBLP DOI BibTeX RDF
1	Yanzhi Li, Yi Tao 0002, Fan Wang	A Compromised Large-Scale Neighborhood Search Heuristic for Cargo Loading Planning.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF	cargo loading, search, heuristic
1	Ranjit Jhala, Kenneth L. McMillan	Array Abstractions from Proofs.	CAV	2007	DBLP DOI BibTeX RDF
1	Jon Conrad, Carla P. Gomes, Willem Jan van Hoeve, Ashish Sabharwal, Jordan Suter	Connections in Networks: Hardness of Feasibility Versus Optimality.	CPAIOR	2007	DBLP DOI BibTeX RDF
1	Michael A. Trick, Hakan Yildiz	Bender's Cuts Guided Large Neighborhood Search for the Traveling Umpire Problem.	CPAIOR	2007	DBLP DOI BibTeX RDF
1	Martti Forsell, Jesper Larsson Träff	HPPC 2007: Workshop on Highly Parallel Processing on a Chip.	Euro-Par Workshops	2007	DBLP DOI BibTeX RDF
1	Bo-Yin Yang, Chia-Hsin Owen Chen, Daniel J. Bernstein, Jiun-Ming Chen	Analysis of QUAD	FSE	2007	DBLP DOI BibTeX RDF
1	Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.	HSCC	2007	DBLP DOI BibTeX RDF
1	Jianmin Zhang, ShengYu Shen, Sikun Li	A Heuristic Local Search Algorithm for Unsatisfiable Cores Extraction.	ICCSA	2007	DBLP DOI BibTeX RDF	Unsatisfiable core, Unit clause propagation, Binary clause resolution, Equality reduction, Local search
1	Jianmin Zhang, ShengYu Shen, Sikun Li	Finding Unsatisfiable Subformulas with Stochastic Method.	IDEAL	2007	DBLP DOI BibTeX RDF	Unsatisfiable subformula, Resolution sequence, Refutation trace, Local search, Stochastic method
1	Luiz C. A. Rodrigues, Leandro Magatão	Enhancing Supply Chain Decisions Using Constraint Programming: A Case Study.	MICAI	2007	DBLP DOI BibTeX RDF	decision-support systems, constraint programming, Supply chain
1	Valerio Plessi, Filippo Bastianini, Sahra Sedigh	A Wireless System for Real-Time Environmental and Structural Monitoring.	SEUS	2007	DBLP DOI BibTeX RDF
1	Amos Beimel, Renen Hallak, Kobbi Nissim	Private Approximation of Clustering and Vertex Cover.	TCC	2007	DBLP DOI BibTeX RDF
1	Tobias Höllerer, Jason Wither, Stephen DiVerdi	"Anywhere Augmentation": Towards Mobile Augmented Reality in Unprepared Environments.	Location Based Services and TeleCartography	2007	DBLP DOI BibTeX RDF
1	Majid Soleimani-Damaneh, Gholam Reza Jahanshahloo, Ali Asghar Foroughi	A comment on "Measuring super-efficiency in DEA in the presence of infeasibility".	European Journal of Operational Research	2006	DBLP DOI BibTeX RDF
1	Alexander Bockmayr, Nicolai Pisaruk	Detecting infeasibility and generating cuts for mixed integer programming using constraint programming.	Computers & OR	2006	DBLP DOI BibTeX RDF
1	Steven M. Bellovin	On the Brittleness of Software and the Infeasibility of Security Metrics.	IEEE Security & Privacy	2006	DBLP DOI BibTeX RDF
1	Xiaotong Zhuang, Santosh Pande	Effective thread management on network processors with compiler analysis.	LCTES	2006	DBLP DOI BibTeX RDF	real-time scheduling, compiler optimizations, network processors, CPU scheduling
1	Bernd Gärtner, Ingo Schurr	Linear programming and unique sink orientations.	SODA	2006	DBLP DOI BibTeX RDF
1	Jiejun Kong, Xiaoyan Hong, Mario Gerla	Modeling Ad-hoc rushing attack in a negligibility-based security framework.	Workshop on Wireless Security	2006	DBLP DOI BibTeX RDF	asymptotic invariant, neg-ligibility, randomized network algorithms, randomized turing machine, sub-polynomial, scalability
1	Éric Grégoire, Bertrand Mazure, Cédric Piette	Tracking MUSes and Strict Inconsistent Covers.	FMCAD	2006	DBLP DOI BibTeX RDF
1	Love Singhal, Elaheh Bozorgzadeh	Multi-layer Floorplanning on a Sequence of Reconfigurable Designs.	FPL	2006	DBLP DOI BibTeX RDF
1	Jingsong Wang	Supervised Robustly Feasible Soft Switching Model Predictive Control with Polytopic Uncertainty.	ICICIC	2006	DBLP DOI BibTeX RDF