Search results for "solvability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Alper Atamtürk, Vishnu Narayanan	Conic mixed-integer rounding cuts.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C11, 90C25, 90C57
11	Long Cheng 0001, Zeng-Guang Hou, Min Tan 0001	A Simplified Neural Network for Linear Matrix Inequality Problems.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Generalized Lyapunov inequality, Neural networks, Linear matrix inequality
11	O. L. Mangasarian	Knapsack feasibility as an absolute value equation solvable by successive linear programming.	Optim. Lett.	2009	DBLP DOI BibTeX RDF	Knapsack feasibility, Absolute value equations, Successive linear programming
11	Bernadette Charron-Bost, André Schiper	The Heard-Of model: computing in distributed systems with benign faults.	Distributed Comput.	2009	DBLP DOI BibTeX RDF	Benign fault, HO (Heard-Of) model, Transmission fault, Consensus, Computational model
11	Samia Souissi, Xavier Défago, Masafumi Yamashita	Using eventually consistent compasses to gather memory-less mobile robots with limited visibility.	ACM Trans. Auton. Adapt. Syst.	2009	DBLP DOI BibTeX RDF	Cooperation and Control, Point Formation, Self-Organizing Robots, Unreliable Compasses, Self-Stabilization, Autonomous Mobile Robots
11	Changyu Wang, Duan Li 0002	Unified theory of augmented Lagrangian methods for constrained global optimization.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Augmented Lagrangian function, Global optimization, Nonlinear programming, Global convergence, Nonconvex optimization, Saddle point, Duality theory
11	S. H. Wang, J. Y. Fu	Stampacchia generalized vector quasi-equilibrium problem with set-valued mapping.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Generalized vector quasi-equilibrium problem, Set-valued mapping, C-convexity, Fixed point, Continuous selection
11	Zhuo-hua Peng, Jin-wang Liu	The generalized bisymmetric solutions of the matrix equation A 1 X 1 B 1 + A 2 X 2 B 2 + + A l X l B l = C and its optimal approximation.	Numer. Algorithms	2009	DBLP DOI BibTeX RDF	Generalized bisymmetric solution group, Least-norm solution group, Optimal approximation solution group, Iterative method
11	Ligang Wu 0001, Daniel W. C. Ho	Fuzzy Filter Design for ItÔ Stochastic Systems With Application to Sensor Fault Detection.	IEEE Trans. Fuzzy Syst.	2009	DBLP DOI BibTeX RDF
11	Cheng-Feng Lee, Leevan Ling, Robert Schaback	On convergent numerical algorithms for unsymmetric collocation.	Adv. Comput. Math.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 65N12, 65N15, 65N35
11	Damien Imbs, Michel Raynal	Visiting Gafni's Reduction Land: From the BG Simulation to the Extended BG Simulation.	SSS	2009	DBLP DOI BibTeX RDF	t-Resilience, Wait-free environment, Fault-Tolerance, Distributed computability, Shared memory system, Reduction, Arbiter, Asynchronous processes, Process crash failure
11	Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann	Deconstructing Intractability: A Case Study for Interval Constrained Coloring.	CPM	2009	DBLP DOI BibTeX RDF
11	Gou Nakura	Stochastic Optimal Tracking with Preview for Linear Discrete-Time Markovian Jump Systems (Extended Abstract).	HSCC	2009	DBLP DOI BibTeX RDF	Markovian jump systems, Stochastic optimization theory, Tracking control with preview, Coupled Riccati difference equations, Coupled feedforward compensators
11	Ioannis Krontiris, Zinaida Benenson, Thanassis Giannetsos, Felix C. Freiling, Tassos Dimitriou	Cooperative Intrusion Detection in Wireless Sensor Networks.	EWSN	2009	DBLP DOI BibTeX RDF	security, sensor networks, intrusion detection
11	Hovhannes A. Harutyunyan, George Laza, Edward Maraachlian	Broadcasting in necklace graphs.	C3S2E	2009	DBLP DOI BibTeX RDF	necklace graphs, algorithms, broadcasting
11	Martin Biely, Peter Robinson 0002, Ulrich Schmid 0001	Brief Announcement: Weak Synchrony Models and Failure Detectors for Message Passing (k-)Set Agreement.	DISC	2009	DBLP DOI BibTeX RDF
11	Allan Sly	Reconstruction for the Potts model.	STOC	2009	DBLP DOI BibTeX RDF	reconstruction, Potts model
11	Evgeny V. Shchepin, Nodari Vakhania	On the geometry, preemptions and complexity of multiprocessor and shop scheduling.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Shop scheduling, Algorithm, Time complexity, Multiprocessor scheduling, Preemption
11	Cédric Bentz	Exact and approximate resolution of integral multiflow and multicut problems: algorithms and complexity.	4OR	2008	DBLP DOI BibTeX RDF	MSC Classification 05C85, 90C27, 68Q17
11	L. Ji	2-idempotent 3-quasigroups with a conjugate invariant subgroup consisting of a single cycle of length four.	Des. Codes Cryptogr.	2008	DBLP DOI BibTeX RDF	AMS Classification 05B15
11	Jiuxiang Dong, Guang-Hong Yang	Dynamic Output Feedback Control Synthesis for Continuous-Time T-S Fuzzy Systems via a Switched Fuzzy Control Scheme.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
11	Jianzhen Li, Shaosheng Zhou, Shengyuan Xu	Fuzzy Control System Design via Fuzzy Lyapunov Functions.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
11	Yungyen Chiang, Ron-Yee Wang	The (S)+ condition on generalized variational inequalities.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Generalized variational inequalities, The (S)+condition, Multivalued complementarity problems, Exceptional families of elements
11	Alexander I. Nazarov	Dirichlet and Neumann problems to critical Emden-Fowler type equations.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 49J10, 35J20, 35J60
11	Youngjin Kim, Youngho Lee, Junghee Han	A ring-mesh topology design problem for optical transport networks.	J. Heuristics	2008	DBLP DOI BibTeX RDF	Optical transport network, Ring-mesh topology, Integer programming, Tabu search, Column generation, Valid inequality
11	Hovhannes A. Harutyunyan, Edward Maraachlian	On broadcasting in unicyclic graphs.	J. Comb. Optim.	2008	DBLP DOI BibTeX RDF	Unicyclic graph, Algorithms, Broadcasting
11	Justin Zhijun Zhan, LiWu Chang, Stan Matwin	How to Prevent Private Data from being Disclosed to a Malicious Attacker.	Data Mining: Foundations and Practice	2008	DBLP DOI BibTeX RDF
11	Naoyuki Kamiyama, Naoki Katoh	The Minimum Weight In-Tree Cover Problem.	MCO	2008	DBLP DOI BibTeX RDF
11	Wim van Dam, Igor E. Shparlinski	Classical and Quantum Algorithms for Exponential Congruences.	TQC	2008	DBLP DOI BibTeX RDF
11	Rupert Hölzl 0001, Wolfgang Merkle	Generation Complexity Versus Distinction Complexity.	TAMC	2008	DBLP DOI BibTeX RDF
11	Bo Bai 0001, Zhigang Cao 0001, Wei Chen 0002, Khaled Ben Letaief	QoS Guaranteed Cross-Layer Multiple Traffic Scheduling in TDM-OFDMA Wireless Network.	ICC	2008	DBLP DOI BibTeX RDF
11	Florian Horn 0001, Wolfgang Thomas, Nico Wallmeier	Optimal Strategy Synthesis in Request-Response Games.	ATVA	2008	DBLP DOI BibTeX RDF
11	Scott M. Pike, Yantao Song, Srikanth Sastry	Wait-Free Dining Under Eventual Weak Exclusion.	ICDCN	2008	DBLP DOI BibTeX RDF	Failure Detectors, Wait-Freedom, Dining Philosophers
11	Ernst Scholtz, Bernard C. Lesieutre	Graphical observer design suitable for large-scale DAE power systems.	CDC	2008	DBLP DOI BibTeX RDF
11	Debasattam Pal, Subhrajit Sinha, Madhu N. Belur, Harish K. Pillai	New results in optimal quadratic supply rates.	CDC	2008	DBLP DOI BibTeX RDF
11	Qing-Kui Li, Georgi M. Dimirovski, Jun Zhao 0002	A solution to the tracking control problem for switched linear systems with time-varying delays.	CDC	2008	DBLP DOI BibTeX RDF
11	Samuel Tien-Chieh Huang, Edward J. Davison, Raymond H. S. Kwong	Decentralized robust servomechanism problem for large flexible space structures under sensor and actuator failures.	CDC	2008	DBLP DOI BibTeX RDF
11	Aneesh Venkatraman, Romeo Ortega, Ioannis Sarras, Arjan van der Schaft	Control of underactuated mechanical systems: Observer design and position feedback stabilization.	CDC	2008	DBLP DOI BibTeX RDF
11	Xiao Xiao, Luming Yang, Weiping Wang 0003, Shuai Zhang	A Broadcasting Retransmission Approach Based on Random Linear Network Coding.	ICYCS	2008	DBLP DOI BibTeX RDF
11	Rastislav Kralovic, Richard Královic	Deterministic Models of Communication Faults.	MFCS	2008	DBLP DOI BibTeX RDF
11	Yoram Moses, Michel Raynal	No Double Discount: Condition-Based Simultaneity Yields Limited Gain.	DISC	2008	DBLP DOI BibTeX RDF
11	Maurice Herlihy, Flavio Paiva Junqueira, Keith Marzullo, Lucia Draque Penso	Optimizing Threshold Protocols in Adversarial Structures.	DISC	2008	DBLP DOI BibTeX RDF
11	Laura Kovács	Aligator: A Mathematica Package for Invariant Generation (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
11	Sascha Häckel, Marco Fischer, David Zechel, Tobias Teich	A multi-objective ant colony approach for pareto-optimization using dynamic programming.	GECCO	2008	DBLP DOI BibTeX RDF	dynamic programming, multi-objective optimization, ant colony optimization, hybridization, pareto-optimization, shortest-path problem
11	Maximiliano Tabacman, Natalio Krasnogor, Jaume Bacardit, Irene Loiseau	Learning classifier systems for optimisation problems: a case study on fractal travelling salesman problem.	GECCO (Companion)	2008	DBLP DOI BibTeX RDF	optimization, machine learning, traveling-salesman-problem, learning-classifier-systems
11	Dahai Xu, Elliot Anshelevich, Mung Chiang	On Survivable Access Network Design: Complexity and Algorithms.	INFOCOM	2008	DBLP DOI BibTeX RDF
11	Bin Chang, Yi Cui 0001, Yuan Xue 0001	Maximizing Resilient Throughput in Peer-to-Peer Network: A Generalized Flow Approach.	INFOCOM	2008	DBLP DOI BibTeX RDF
11	Akisato Kubo	Mathematical Analysis of Models for Tumour Angiogenesis.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Tumour angiogenesis, Othmer-Stevens model, Anderson-Chaplain model, time global solution
11	Qin Jiang, Sheng Ma	Periodic and Subharmonic Solutions for a Class of Local Nonquadratic Second-Order Hamiltonian Systems.	CSSE (2)	2008	DBLP DOI BibTeX RDF
11	Zhi-Zhong Sun	A Second Order Accurate Difference Scheme for the Hyperbolic Problem with Concentrated Data.	NAA	2008	DBLP DOI BibTeX RDF
11	Fotis N. Koumboulis, George E. Panagiotakis	Triangular Decoupling with simultaneous Disturbance Rejection for general linear time delay systems via measurement output feedback.	ETFA	2008	DBLP DOI BibTeX RDF
11	Sergio Rajsbaum, Michel Raynal, Corentin Travers	The Iterated Restricted Immediate Snapshot Model.	COCOON	2008	DBLP DOI BibTeX RDF
11	Shuxia Ye, Weiqun Wang, Yun Zou, Juan Yao	Robust Guaranteed Cost Control for a Class of Two-dimensional Discrete Systems with Shift-Delays.	RAM	2008	DBLP DOI BibTeX RDF
11	Milan Hladík	Solution Set Characterization of Linear Interval Systems with a Specific Dependence Structure.	Reliab. Comput.	2007	DBLP DOI BibTeX RDF
11	Ralph E. Steuer, Yue Qi, Markus Hirschberger	Suitable-portfolio investors, nondominated frontier sensitivity, and the effect of multiple objectives on standard portfolio selection.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Multiple criteria portfolio selection, Multi-attribute portfolio selection, Stochastic objectives, Suitable-portfolio investors, Market portfolio, Nondominated surfaces, Nondominated frontier sensitivity
11	Thomas Eiter, Kazuhisa Makino	On computing all abductive explanations from a propositional Horn theory.	J. ACM	2007	DBLP DOI BibTeX RDF	Horn theories, dualization problem, polynomial total-time computation, NP-hardness, Abduction, model-based reasoning, propositional logic, tractability, prime implicates, characteristic set, enumeration algorithms
11	Long Wang 0001, Feng Xiao 0002	A new approach to consensus problems in discrete-time multiagent systems with time-delays.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	communication topologies, multiagent system decomposition, time-delays, consensus problems
11	Dongxiu Xie, Ningjun Huang, Qin Zhang	An inverse eigenvalue problem and a matrix approximation problem for symmetric skew-hamiltonian matrices.	Numer. Algorithms	2007	DBLP DOI BibTeX RDF	Symmetric skew-Hamiltonian matrices, Inverse eigenvalue problem, Matrix norm, The best approximation
11	Chandra Chekuri	Routing and network design with robustness to changing or uncertain traffic demands.	SIGACT News	2007	DBLP DOI BibTeX RDF
11	Sing Kiong Nguang, Peng Shi 0001, Steven X. Ding	Fault Detection for Uncertain Fuzzy Systems: An LMI Approach.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
11	Yantao Song, Scott M. Pike	Eventually k-Bounded Wait-Free Distributed Daemons.	DSN	2007	DBLP DOI BibTeX RDF	self-stabilization, wait-freedom, daemons
11	Lenka Nosková, Irina Perfilieva	System of fuzzy Relation Equations with Sup-* Composition in Semi-linear Spaces: Minimal Solutions.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
11	Albert Atserias, Andrei A. Bulatov, Anuj Dawar	Affine Systems of Equations and Counting Infinitary Logic.	ICALP	2007	DBLP DOI BibTeX RDF
11	César Luis Alonso, David Alonso, Mar Callau, José Luis Montaña	A Word Equation Solver Based on Levensthein Distance.	MICAI	2007	DBLP DOI BibTeX RDF	local search strategies, evolutionary computation, Word equations
11	Colette Johnen, Lisa Higham	Fault-Tolerant Implementations of the Atomic-State Communication Model in Weaker Networks.	DISC	2007	DBLP DOI BibTeX RDF
11	Marco Gribaudo, Miklós Telek	Fluid Models in Performance Analysis.	SFM	2007	DBLP DOI BibTeX RDF
11	Alexander Hertel, Philipp Hertel, Alasdair Urquhart	Formalizing Dangerous SAT Encodings.	SAT	2007	DBLP DOI BibTeX RDF
11	Masashi Aono, Masahiko Hara	Amoeba-Based Nonequilibrium Neurocomputer Utilizing Fluctuations and Instability.	UC	2007	DBLP DOI BibTeX RDF	Bottom-up technology, Physarum, Optimization, Chaos
11	Zoltán Csörnyei, Gergely Dévai	An Introduction to the Lambda Calculus.	CEFP	2007	DBLP DOI BibTeX RDF
11	Eric Ruppert	The Anonymous Consensus Hierarchy and Naming Problems.	OPODIS	2007	DBLP DOI BibTeX RDF
11	Eli Gafni, Petr Kuznetsov	N-Consensus is the Second Strongest Object for N+1 Processes.	OPODIS	2007	DBLP DOI BibTeX RDF
11	Asaf Efrima, David Peleg	Distributed Algorithms for Partitioning a Swarm of Autonomous Mobile Robots.	SIROCCO	2007	DBLP DOI BibTeX RDF
11	Daniel Andersson	HIROIMONO Is NP-Complete.	FUN	2007	DBLP DOI BibTeX RDF
11	Jiri Rohn	Regularity of Interval Matrices and Theorems of the Alternatives.	Reliab. Comput.	2006	DBLP DOI BibTeX RDF
11	Dan Huang, Sing Kiong Nguang	Robust Hinfin static output feedback control of fuzzy systems: an ILMI approach.	IEEE Trans. Syst. Man Cybern. Part B	2006	DBLP DOI BibTeX RDF
11	Shengyuan Xu, Yuming Chu, Junwei Lu, Yun Zou	Exponential dynamic output feedback controller design for stochastic neutral systems with distributed delays.	IEEE Trans. Syst. Man Cybern. Part A	2006	DBLP DOI BibTeX RDF
11	Xin Chen, Houduo Qi	Cartesian P-property and Its Applications to the Semidefinite Linear Complementarity Problem.	Math. Program.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C33, 15A48
11	Junlin Xiong, James Lam	Fixed-order robust Hinfinit filter design for Markovian jump systems with uncertain switching probabilities.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
11	Gilles Dequen, Olivier Dubois 0002	An Efficient Approach to Solving Random k-satProblems.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	solving, heuristic, satisfiability
11	Kuang-Yow Lian, Hui-Wen Tu, Jeih-Jang Liou	Stability Conditions for LMI-Based Fuzzy Control From Viewpoint of Membership Functions.	IEEE Trans. Fuzzy Syst.	2006	DBLP DOI BibTeX RDF
11	Marcos Kawazoe Aguilera, Carole Delporte-Gallet, Hugues Fauconnier, Sam Toueg	Consensus with Byzantine Failures and Little System Synchrony.	DSN	2006	DBLP DOI BibTeX RDF
11	Xiaobo Zhu, Qian Yu, Xianjia Wang	A Hybrid Differential Evolution Algorithm for Solving Nonlinear Bilevel Programming with Linear Constraints.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
11	Samia Souissi, Xavier Défago, Masafumi Yamashita	Using Eventually Consistent Compasses to Gather Oblivious Mobile Robots with Limited Visibility.	SSS	2006	DBLP DOI BibTeX RDF
11	Zinaida Benenson, Felix C. Freiling, Birgit Pfitzmann, Christian Rohner, Michael Waidner	Verifiable Agreement: Limits of Non-repudiation in Mobile Peer-to-Peer Ad Hoc Networks.	ESAS	2006	DBLP DOI BibTeX RDF
11	Karianto Wong, Aloys Krieg, Wolfgang Thomas	On Intersection Problems for Polynomially Generated Sets.	ICALP (2)	2006	DBLP DOI BibTeX RDF
11	Eli Gafni	Read-Write Reductions.	ICDCN	2006	DBLP DOI BibTeX RDF
11	Jean Cardinal, Martin Hoefer 0001	Selfish Service Installation in Networks.	WINE	2006	DBLP DOI BibTeX RDF
11	Yamei Gong, Shengyuan Xu	Guaranteed Cost Control for Uncertain Stochastic Systems with State and Input Delays.	ICICIC (3)	2006	DBLP DOI BibTeX RDF	guaranteed cost control, delay, linear matrix inequality, stochastic systems, parameter uncertainty
11	Vikraman Arvind, Piyush P. Kurur	A Polynomial Time Nilpotence Test for Galois Groups and Related Results.	MFCS	2006	DBLP DOI BibTeX RDF
11	Jérémie Chalopin, Shantanu Das 0001, Nicola Santoro	Groupings and Pairings in Anonymous Networks.	DISC	2006	DBLP DOI BibTeX RDF
11	Jun Xu 0005, Daoying Pi, Yong-Yan Cao	Global Robust Stability of General Recurrent Neural Networks with Time-Varying Delays.	ISNN (1)	2006	DBLP DOI BibTeX RDF
11	Fei Liu 0001, Xiao-Li Luan	Stochastic Optimal Control of Nonlinear Jump Systems Using Neural Networks.	ISNN (2)	2006	DBLP DOI BibTeX RDF
11	Zsolt Fekete, Tibor Jordán	Uniquely Localizable Networks with Few Anchors.	ALGOSENSORS	2006	DBLP DOI BibTeX RDF
11	Leu-Shing Lan	M-SVC (mixed-norm SVC) - a novel form of support vector classifier.	ISCAS	2006	DBLP DOI BibTeX RDF
11	Justin Lee, Joaquin Sitte	Gate-level Morphogenetic Evolvable Hardware for Scalability and Adaptation on FPGAs.	AHS	2006	DBLP DOI BibTeX RDF
11	Michael Dom, Jiong Guo, Rolf Niedermeier, Sebastian Wernicke 0001	Minimum Membership Set Covering and the Consecutive Ones Property.	SWAT	2006	DBLP DOI BibTeX RDF
11	Constantinos Daskalakis, Paul W. Goldberg, Christos H. Papadimitriou	The complexity of computing a Nash equilibrium.	STOC	2006	DBLP DOI BibTeX RDF	PPAD-completeness, complexity, game theory, Nash equilibrium
11	Duilio Conceição, Paulo Goldfeld, Marcus Sarkis	Robust Two-Level Lower-Order Preconditioners for a Higher-Order Stokes Discretization with Highly Discontinuous Viscosities.	VECPAR	2006	DBLP DOI BibTeX RDF
11	Vladimir Slavov, Stefka Dimova	Phase-Field Versus Level Set Method for 2D Dendritic Growth.	Numerical Methods and Applications	2006	DBLP DOI BibTeX RDF	phase-field method, dendritic solidification, level set method, finite difference methods
11	Marco Cadoli, Thomas Eiter, Georg Gottlob	Complexity of propositional nested circumscription and nested abnormality theories.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	Horn theories, nested abnormality theories, computational complexity, nonmonotonic reasoning, knowledge representation and reasoning, Circumscription