Search results for "solvability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann	On SAT instance classes and a method for reliable performance experiments with SAT solvers.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	exponential and heavy-tail distributions, reliability function, satisfiability, experimental design, equivalence classes, conjunctive normal form
11	Lei Guo 0003, Hong Wang 0001	PID controller design for output PDFs of stochastic systems using linear matrix inequalities.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
11	Rimma I. Podlovchenko, Dmitry M. Rusakov	Program Schemes with Constants.	Program. Comput. Softw.	2005	DBLP DOI BibTeX RDF
11	Shengyuan Xu, James Lam	Robust ∞ control for uncertain discrete-time-delay fuzzy systems via output feedback controllers.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
11	Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev	Comparative Similarity, Tree Automata, and Diophantine Equations.	LPAR	2005	DBLP DOI BibTeX RDF
11	Yannick Chevalier, Michaël Rusinowitch	Combining Intruder Theories.	ICALP	2005	DBLP DOI BibTeX RDF
11	Marco Antonio Montes de Oca, Leonardo Garrido, José-Luis Aguirre	Effects of Inter-agent Communication in Ant-Based Clustering Algorithms: A Case Study on Communication Policies in Swarm Systems.	MICAI	2005	DBLP DOI BibTeX RDF
11	Zhigang Zeng, Chaojin Fu	Blind Extraction of Singularly Mixed Source Signals.	ICNC (1)	2005	DBLP DOI BibTeX RDF
11	Hubie Chen, Víctor Dalmau	Beyond Hypertree Width: Decomposition Methods Without Decompositions.	CP	2005	DBLP DOI BibTeX RDF
11	Miguel A. Gutiérrez-Naranjo, Mario J. Pérez-Jiménez, Agustin Riscos-Núñez, Francisco José Romero-Campero	Characterizing Tractability with Membrane Creation.	SYNASC	2005	DBLP DOI BibTeX RDF
11	Yuri V. Matiyasevich	Hilbert's Tenth Problem and Paradigms of Computation.	CiE	2005	DBLP DOI BibTeX RDF
11	Eli Gafni, Rachid Guerraoui, Bastian Pochon	From a static impossibility to an adaptive lower bound: the complexity of early deciding set agreement.	STOC	2005	DBLP DOI BibTeX RDF	early decision, simulation, reduction, set agreement
11	Yanbin Luo, Chunjie Yang, Yongming Li 0001, Daoying Pi	Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications.	Australian Conference on Artificial Intelligence	2005	DBLP DOI BibTeX RDF
11	Dominique F. Chu, Jonathan E. Rowe	Spread of Vector Borne Diseases in a Population with Spatial Structure.	PPSN	2004	DBLP DOI BibTeX RDF
11	Kathie Cameron, Elaine M. Eschen, Chính T. Hoàng, R. Sritharan	The list partition problem for graphs.	SODA	2004	DBLP BibTeX RDF
11	Leslie G. Valiant	Holographic Algorithms (Extended Abstract).	FOCS	2004	DBLP DOI BibTeX RDF
11	Hagen Völzer	On Randomization Versus Synchronization in Distributed Systems.	ICALP	2004	DBLP DOI BibTeX RDF
11	Robert Dabrowski, Wojciech Plandowski	Solving Two-Variable Word Equations (Extended Abstract).	ICALP	2004	DBLP DOI BibTeX RDF
11	Wojciech Rytter	Grammar Compression, LZ-Encodings, and String Algorithms with Implicit Input.	ICALP	2004	DBLP DOI BibTeX RDF
11	L. O. Guo, Yumin Zhang, Chun-Bo Feng	Generalized Hinfinity performance and mixed H2/Hinfinity optimization for time delay systems.	ICARCV	2004	DBLP DOI BibTeX RDF
11	L. O. Guo, Yumin Zhang, Chun-Bo Feng	Output feedback PD Hinfinity controller design for descriptor system.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Shengyuan Xu, James Lam, Yun Zou, Ningfan Zhong, Huijun Gao, Changhong Wang	Robust stabilization for stochastic time-delay systems with polytopic uncertainties.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Shengyuan Xu, James Lam, Yun Zou, Minhui Sun	Hinfinity control for uncertain neutral systems via non-fragile state feedback controllers.	ICARCV	2004	DBLP DOI BibTeX RDF
11	Huiling Xu, Shengyuan Xu	Robust stabilization of 2-D uncertain singular Roesser models.	ICARCV	2004	DBLP DOI BibTeX RDF
11	César Luis Alonso, Fátima Drubi, Judith Gómez-García, José Luis Montaña	Word Equation Systems: The Heuristic Approach.	SBIA	2004	DBLP DOI BibTeX RDF	local search strategies, genetic algorithms, Evolutionary computation, word equations
11	Nicolas T. Courtois	Algebraic Attacks over GF(2k), Application to HFE Challenge 2 and Sflash-v2.	Public Key Cryptography	2004	DBLP DOI BibTeX RDF
11	Jirí Nedoma	On the Solution of Contact Problems with Visco-Plastic Friction in the Bingham Rheology: An Application in Biomechanics .	ICCSA (2)	2004	DBLP DOI BibTeX RDF	visco-plasticity, Bingham rheology, contact problems with friction, biomechanics, variational inequalities, FEM
11	Xu-Zheng Liu, Xia Cui, Jun-Hai Yong, Jia-Guang Sun 0001	Alternating Direction Finite Element Method for a Class of Moving Boundary Problems.	CIS	2004	DBLP DOI BibTeX RDF
11	Aniekan Ebiefung, Michael M. Kostreva	Production Equilibrium Point in Multi-Unit Manufacturing Systems and The Vertical Linear Complementarity Problem.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF
11	Frédéric Gibou, Ronald Fedkiw, Russel E. Caflisch, Stanley J. Osher	A Level Set Approach for the Numerical Simulation of Dendritic Growth.	J. Sci. Comput.	2003	DBLP DOI BibTeX RDF	ghost fluid method, dendritic growth, interfaces, level set method, Poisson equation
11	Siegfried Gottwald, Vilém Novák, Irina Perfilieva	Approximating Fuzzy Control Strategies via CRI.	IFSA	2003	DBLP DOI BibTeX RDF
11	Nina Yevtushenko 0001, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli	Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations.	DATE	2003	DBLP DOI BibTeX RDF
11	Jonathan K. Millen, Vitaly Shmatikov	Symbolic Protocol Analysis with Products and Diffie-Hellman Exponentiation.	CSFW	2003	DBLP DOI BibTeX RDF
11	Vladimir Slavov, Stefka Dimova, Oleg Iliev	Phase-Field Method for 2D Dendritic Growth.	LSSC	2003	DBLP DOI BibTeX RDF
11	Christopher Lynch	Schematic Saturation for Decision and Unification Problems.	CADE	2003	DBLP DOI BibTeX RDF
11	Li Xiao 0003, Jun Wang 0011, Klara Nahrstedt	Reliability-Aware IBGP Route Re.ection Topology Design.	ICNP	2003	DBLP DOI BibTeX RDF
11	Jirí Nedoma	On a Coupled Thermo-Hydro-Mechanical Problem Based on the Thermo-Visco-Plastic Rheology.	ICCSA (1)	2003	DBLP DOI BibTeX RDF
11	Deepak Kapur, Paliath Narendran, Lida Wang	An E-unification Algorithm for Analyzing Protocols That Use Modular Exponentiation.	RTA	2003	DBLP DOI BibTeX RDF
11	Oliver Buchtala, Alexander Hofmann, Bernhard Sick	Fast and Efficient Training of RBF Networks.	ICANN	2003	DBLP DOI BibTeX RDF
11	Dang Nguyen Duc, Jung Hee Cheon, Kwangjo Kim	A Forward-Secure Blind Signature Scheme Based on the Strong RSA Assumption.	ICICS	2003	DBLP DOI BibTeX RDF
11	Rabah Amir	Complementarity and Diagonal Dominance in Discounted Stochastic Games.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF
11	Rachid Guerraoui	Non-blocking atomic commit in asynchronous distributed systems with failure detectors.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Lower bound, Consensus, Failure detection, Asynchrony, Atomic commit
11	Thomas A. Henzinger, Sriram C. Krishnan, Orna Kupferman, Freddy Y. C. Mang	Synthesis of Uninitialized Systems.	ICALP	2002	DBLP DOI BibTeX RDF
11	Libor Polák	Syntactic Semiring and Language Equations.	CIAA	2002	DBLP DOI BibTeX RDF	syntactic semiring, language equations
11	Sven Oliver Krumke, Madhav V. Marathe, Diana Poensgen, S. S. Ravi, Hans-Christoph Wirth	Budgeted Maximum Graph Coverage.	WG	2002	DBLP DOI BibTeX RDF	budgeted maximum coverage, approximation algorithm, integer linear programming, treewidth, maximum weight matching
11	Klaus Meer	On Consistency and Width Notions for Constraint Programs with Algebraic Constraints.	FLOPS	2002	DBLP DOI BibTeX RDF	algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width
11	Luiz Augusto da Cruz Meleiro, Ricardo J. G. B. Campello, Rubens Maciel Filho, Fernando J. Von Zuben	Identification of a Multivariate Fermentation Process using Constructive Learning.	SBRN	2002	DBLP DOI BibTeX RDF
11	Elena Smirnova	Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic.	AISC	2002	DBLP DOI BibTeX RDF
11	Eike Best, Raymond R. Devillers, Maciej Koutny	Recursion and Petri nets.	Acta Informatica	2001	DBLP DOI BibTeX RDF
11	Roberto De Prisco, Dahlia Malkhi, Michael K. Reiter	On k-Set Consensus Problems in Asynchronous Systems.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	validity conditions, distributed systems, consensus, crash failures, Byzantine failures, Agreement problems
11	Michael J. Holst	Adaptive Numerical Treatment of Elliptic Systems on Manifolds.	Adv. Comput. Math.	2001	DBLP DOI BibTeX RDF
11	Luc C. G. J. M. Habets, Jan H. van Schuppen	Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles.	HSCC	2001	DBLP DOI BibTeX RDF	Piecewise-linear hybrid systems, polyhedral set, multi-dimensional rectangle, reachability, facet, simplex, control law
11	Andrea Capotorti, Tania Paneni	An Operational View of Coherent Conditional Previsions.	ECSQARU	2001	DBLP DOI BibTeX RDF
11	Derong Liu 0001, Alexander Molchanov	Robust stability of a class of nonlinear time-varying discrete systems.	ISCAS (3)	2001	DBLP DOI BibTeX RDF
11	Phokion G. Kolaitis, Thomas Raffill	In Search of a Phase Transition in the AC-Matching Problem.	CP	2001	DBLP DOI BibTeX RDF
11	Ilia Nouretdinov, Volodya Vovk, Michael V. Vyugin, Alex Gammerman	Pattern Recognition and Density Estimation under the General i.i.d. Assumption.	COLT/EuroCOLT	2001	DBLP DOI BibTeX RDF
11	Jordi Levy, Mateu Villaret	Context Unification and Traversal Equations.	RTA	2001	DBLP DOI BibTeX RDF
11	Bernadette Charron-Bost	Agreement Problems in Fault-Tolerant Distributed Systems.	SOFSEM	2001	DBLP DOI BibTeX RDF
11	Tiangong Wei, Reinhard Klette	Theoretical Analysis of Finite Difference Algorithms for Linear Shape from Shading.	CAIP	2001	DBLP DOI BibTeX RDF	stability, shape from shading, finite difference scheme
11	Vadim V. Lozin, Michael U. Gerber	On the Jump Number Problem in Hereditary Classes of Bipartite Graphs.	Order	2000	DBLP DOI BibTeX RDF	jump number, bipartite graphs, polynomial algorithm
11	John F. Canny, Ioannis Z. Emiris	A subdivision-based algorithm for the sparse resultant.	J. ACM	2000	DBLP DOI BibTeX RDF	Newton polytope, effective Nullstellensatz, mixed volume, multivariate resultant, polyhedral subdivision, sparse elimination theory, asymptotic complexity
11	Hakop A. Hakopian	On a class of Hermite interpolation problems.	Adv. Comput. Math.	2000	DBLP DOI BibTeX RDF
11	Phokion G. Kolaitis, Moshe Y. Vardi	0-1 Laws for Fragments of Existential Second-Order Logic: A Survey.	MFCS	2000	DBLP DOI BibTeX RDF
11	Shay Kutten, David Peleg	Deterministic distributed resource discovery (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
11	João R. Cardoso, Fatima Silva Leite	Computing the Inverse Matrix Hyperbolic Sine.	NAA	2000	DBLP DOI BibTeX RDF	primary matrix function, inverse matrix hyperbolic sine, logarithms and square roots, Padé approximants, matrix exponentials
11	Yi Ma 0001, René Vidal, Jana Kosecka, Shankar Sastry 0001	Kruppa Equation Revisited: Its Renormalization and Degeneracy.	ECCV (2)	2000	DBLP DOI BibTeX RDF
11	David A. Mix Barrington, Peter Kadau, Klaus-Jörn Lange, Pierre McKenzie	On the Complexity of Some Problems on Groups Input as Multiplication Tables.	CCC	2000	DBLP DOI BibTeX RDF	logic, circuit complexity, group membership, integer arithmetic
11	Felipe Cucker	Solving polynomial systems: a complexity theory viewpoint.	ISSAC	2000	DBLP DOI BibTeX RDF
11	Alan T. Murray	Spatial analysis using clustering methods: Evaluating central point and median approaches.	J. Geogr. Syst.	1999	DBLP DOI BibTeX RDF
11	Yun-Chung Chu, Jie Huang 0001	A neural-network method for the nonlinear servomechanism problem.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
11	Mike Fornefett, Karl Rohr, H. Siegfried Stiehl	Elastic Registration of Medical Images Using Radial Basis Functions with Compact Support.	CVPR	1999	DBLP DOI BibTeX RDF	medical image analysis applications, elastic image registration, radial basis functions with compact support
11	Li Xu 0004, Osami Saito, Jiang Qian Ying	2D feedback system design: the tracking and disturbance rejection problems.	ISCAS (5)	1999	DBLP DOI BibTeX RDF
11	Hsieh-Chang Tu, Michael L. Lyu, Jieh Hsiang	Agent Technology for Website Browsing and Navigation.	HICSS	1999	DBLP DOI BibTeX RDF
11	Wojciech Rytter	Algorithms on Compressed Strings and Arrays.	SOFSEM	1999	DBLP DOI BibTeX RDF
11	Youngmok Jeon	New boundary element formulas for the biharmonic equation.	Adv. Comput. Math.	1998	DBLP DOI BibTeX RDF	Dirichlet problem, Gårding's inequality, Gauss-Green theorem, plate bending, Rayleigh-Green formula, 31A10, 31A30, 31B10, 31B30, 35A08, Galerkin method, biharmonic equation, fundamental solution
11	Claudio Gutierrez 0001	Satisfiability of Word Equations with Constants is in Exponential Space.	FOCS	1998	DBLP DOI BibTeX RDF	Makanin's algorithm, word combinatorics, free semigroups, algorithms, unification, word equations
11	Raymond R. Devillers, Maciej Koutny	Recursive Nets in the Box Algebra.	ACSD	1998	DBLP DOI BibTeX RDF	box algebra, limit construction, guardedness, Petri nets, refinement, recursion, fixpoint
11	Zhongfei Zhang, Richard S. Weiss, Allen R. Hanson	Obstacle Detection Based on Qualitative and Quantitative 3D Reconstruction.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	Motion analysis and stereo, qualitative vision, partial calibration, 3D reconstruction, obstacle detection
11	Volker Diekert, Yuri V. Matiyasevich, Anca Muscholl	Solving Trace Equations Using Lexicographical Normal Forms.	ICALP	1997	DBLP DOI BibTeX RDF
11	Joshua Berman, Arthur Drisko, François Lemieux, Cristopher Moore, Denis Thérien	Circuits and Expressions with NOn-Associative Gates.	CCC	1997	DBLP DOI BibTeX RDF	non-associative gates, non-associative groupoid, polyabelian groupoids, arbitrary Boolean functions, NC/sup 1/-complete, CIRCUIT VALUE, Boolean functions, multiplication, P-complete, EXPRESSION EVALUATION
11	Hagit Attiya, Sergio Rajsbaum	The Combinatorial Structure of Wait-free Solvable Tasks (Extended Abstract).	WDAG	1996	DBLP DOI BibTeX RDF
11	Rachid Guerraoui, André Schiper	"Gamma-Accurate" Failure Detectors.	WDAG	1996	DBLP DOI BibTeX RDF
11	Gerlind Plonka	Two-scale symbol and autocorrelation symbol for B-splines with multiple knots.	Adv. Comput. Math.	1995	DBLP DOI BibTeX RDF	Subject classification Primary 41A15, 42A38, 65D07
11	Miki Hermann, Phokion G. Kolaitis	Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract).	MFCS	1995	DBLP DOI BibTeX RDF
11	Sabine Stifter	Algebraic methods for computing inverse kinematics.	J. Intell. Robotic Syst.	1994	DBLP DOI BibTeX RDF	Gröbner bases, algebraic system solving, Inverse kinematics
11	Josyula R. Rao	Reasoning about Probabilistic Parallel Programs.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	verification, parallel programming, probabilistic algorithms, correctness proofs, programming methodology, specification techniques
11	Charles K. Chui, Xianliang Shi	Continuous two-scale equations and dyadic wavelets.	Adv. Comput. Math.	1994	DBLP DOI BibTeX RDF	AMS(MOS) subject classification Primary 41A17, 41A58, 42C99
11	Alexander Aiken, Edward L. Wimmers, T. K. Lakshman	Soft Typing with Conditional Types.	POPL	1994	DBLP DOI BibTeX RDF
11	Klaus U. Schulz	On Existential Theories of List Concatenation.	CSL	1994	DBLP DOI BibTeX RDF
11	Jan Kuper	Usability: Formalising (Un)definedness in Typed Lambda Calculus.	CSL	1994	DBLP DOI BibTeX RDF
11	László Babai	Deciding Finiteness of Matrix Groups in Las Vegas Polynomial Time.	SODA	1992	DBLP BibTeX RDF
11	Jan-Hendrik Evertse, Eugène van Heyst	Which new RSA Signatures can be Computed from RSA Signatures, Obtained in a Specific Interactive Protocol?	EUROCRYPT	1992	DBLP DOI BibTeX RDF
11	Matthias Baaz, Richard Zach	Algorithmic Structuring of Cut-free Proofs.	CSL	1992	DBLP DOI BibTeX RDF
11	Michael Hanus	Parametric Order-Sorted Types in Logic Programming.	TAPSOFT, Vol.2	1991	DBLP DOI BibTeX RDF
11	Gregory Butler	Implementing Some Algorithms of Kantor.	AAECC	1991	DBLP DOI BibTeX RDF
11	Hagit Attiya, Amotz Bar-Noy, Danny Dolev, David Peleg, Rüdiger Reischuk	Renaming in an Asynchronous Environment	J. ACM	1990	DBLP DOI BibTeX RDF
11	Dorit S. Hochbaum, J. George Shanthikumar	Convex Separable Optimization Is Not Much Harder than Linear Optimization	J. ACM	1990	DBLP DOI BibTeX RDF
11	Tien Huynh, Catherine Lassez, Jean-Louis Lassez	Fourier Algorithm Revisited.	ALP	1990	DBLP DOI BibTeX RDF
11	Ofer Biran, Shlomo Moran, Shmuel Zaks	Deciding 1-sovability of distributed task is NP-hard.	WG	1990	DBLP DOI BibTeX RDF
11	Tien Huynh, Leo Joskowicz, Catherine Lassez, Jean-Louis Lassez	Reasoning About Linear Constraints Using Parametric Queries.	FSTTCS	1990	DBLP DOI BibTeX RDF