Search results for "Constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
30	Joachim Biskup, Dominique Marc Burgard, Torben Weibert, Lena Wiese	Inference Control in Logic Databases as a Constraint Satisfaction Problem.	ICISS	2007	DBLP DOI BibTeX RDF	confidentiality, constraint satisfaction problems, Inference control, constraint hierarchies, logic databases
30	Kenil C. K. Cheng, Roland H. C. Yap	Applying Ad-hoc Global Constraints with the case Constraint to Still-Life.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Still-life problem, Ad-hoc constraint, Non-binary constraint, Modeling, Binary decision diagram
30	Thom W. Frühwirth	Constraint handling rules: the story so far.	PPDP	2006	DBLP DOI BibTeX RDF	concurrency, applications, program analysis, constraint programming, constraint solving, executable specification, computational logic, rule-based programming
30	Arnaud Gotlieb, Tristan Denmat, Bernard Botella	Constraint-based test data generation in the presence of stack-directed pointers.	ASE	2005	DBLP DOI BibTeX RDF	constraint-based test data generation, stack-directed pointers, constraint satisfaction
30	Hiroshi Hosobe	Hierarchical nonlinear constraint satisfaction.	SAC	2004	DBLP DOI BibTeX RDF	constraint satisfaction, least squares, constraint hierarchies, nonlinear constraints
30	Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur	Extending arbitrary solvers with constraint handling rules.	PPDP	2003	DBLP DOI BibTeX RDF	compilation, constraint solvers, constraint handling rules
30	Thomas H. Kolbe, Lutz Plümer, Armin B. Cremers	Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF	building extraction, variable elimination, object recognition, constraint logic programming, geometric constraints, constraint relaxation, inexact graph matching
30	Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, Alberto L. Sangiovanni-Vincentelli	Generalized constraint generation in the presence of non-deterministic parasitics.	ICCAD	1996	DBLP DOI BibTeX RDF	constraint-driven layout synthesis, non-deterministic parasitics, constraint generation
30	Arnaud Lallouet	A Note on Bilattices and Open Constraint Programming.	CSCLP	2004	DBLP DOI BibTeX RDF
30	R. Uday Kiran, P. Krishna Reddy	Mining periodic-frequent patterns with maximum items' support constraints.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF	maximum constraint model, minimum constraint model, multiple minimum supports, periodic-frequent patterns
30	Min Chu, Yunjia Wang	Rhythmic Organization of Mandarin Utterances - A Two-Stage Process.	ISCSLP	2006	DBLP DOI BibTeX RDF	prosodic hierarchy, prosodic phrasing, principle prosodic unit, syntactic constraint, length constraint
30	Grégoire Dooms, Yves Deville, Pierre Dupont	A Mozart Implementation of CP(BioNet).	MOZ	2004	DBLP DOI BibTeX RDF	Mozart, Graph Domain Variables, Constrained Path Finding, Path Constraint, Constraint Programming, Oz
30	Rafael Ramírez 0001, Andrew E. Santosa, Roland H. C. Yap	Concurrent Programming Made Easy.	ICECCS	2000	DBLP DOI BibTeX RDF	constraint-based methodology, temporal constraint logic program, system concurrency, parallel programming, concurrent programming, concurrent systems, declarative specification, concurrent applications
29	Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel	Essence : A constraint language for specifying combinatorial problems.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Specification languages, Constraint programming, Combinatorial problems, Constraint languages, Constraint modelling
29	Meinolf Sellmann, Torsten Fahle	Constraint Programming Based Lagrangian Relaxation for the Automatic Recording Problem.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	maximum weighted stable set constraint, knapsack constraint, Lagrangian relaxation, optimization constraint
29	Yuanlin Zhang 0002, Roland H. C. Yap	Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.	J. ACM	2003	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, Constraint-based reasoning
29	Albert Croker, Vasant Dhar	A Knowledge Representation for Constraint Satisfaction Problems.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	constraint-driven reasoner, control information, preference orderings, knowledge representation, knowledge representation, inference mechanisms, constraint satisfaction problems, constraint handling, Boolean expressions, dependency network
29	Jean-François Boulicaut	If Constraint-Based Mining is the Answer: What is the Constraint? (Invited Talk).	ICDM Workshops	2008	DBLP DOI BibTeX RDF
29	Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck	CPBPV: A Constraint-Programming Framework for Bounded Program Verification.	CP	2008	DBLP DOI BibTeX RDF
29	András Kovács, J. Christopher Beck	A Global Constraint for Total Weighted Completion Time.	CPAIOR	2007	DBLP DOI BibTeX RDF
29	Matthias Hoche, Stefan Jähnichen	Modeling Constraint Programs with Software Technology Standards.	CP	2005	DBLP DOI BibTeX RDF
29	Christian Bessiere, Remi Coletta, Eugene C. Freuder, Barry O'Sullivan	Leveraging the Learning Power of Examples in Automated Constraint Acquisition.	CP	2004	DBLP DOI BibTeX RDF
29	Tallys H. Yunes	On the Sum Constraint: Relaxation and Applications.	CP	2002	DBLP DOI BibTeX RDF
29	Brahim Hnich	High-Level Modelling and Reformulation of Constraint Satisfaction Problems.	CP	2001	DBLP DOI BibTeX RDF
29	Jean-Charles Régin, Thierry Petit, Christian Bessière, Jean-Francois Puget	New Lower Bounds of Constraint Violations for Over-Constrained Problems.	CP	2001	DBLP DOI BibTeX RDF
29	Slim Abdennadher, Christophe Rigotti	Towards Inductive Constraint Solving.	CP	2001	DBLP DOI BibTeX RDF
29	Alan K. Mackworth	Constraint-Based Agents: The ABC's of CBA's.	CP	2000	DBLP DOI BibTeX RDF
29	R. Baker Kearfott	GlobSol: History, Composition, and Advice on Use.	COCOS	2002	DBLP DOI BibTeX RDF	Verified global optimization, GlobSol, constraint propagation, automatic differentiation, interval analysis
29	Fabian Büttner, Hanna Bauerdick, Martin Gogolla	Towards Transformation of Integrity Constraints and Database States.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	constraint transformation, UML, OCL, Integrity constraint, schema transformation, cardinality constraint
29	Bradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie	Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	Constraint experience, constraint usage, eager evaluation, one-way dataflow constraints, constraint satisfaction, lazy evaluation
29	Malek Mouhoub	Reasoning about numeric and symbolic time information.	ICTAI	2000	DBLP DOI BibTeX RDF	symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra
29	Laurent Granvilliers, Frédéric Goualard, Frédéric Benhamou	Box Consistency through Weak Box Consistency.	ICTAI	1999	DBLP DOI BibTeX RDF	box consistency, constraint satisfaction, constraint propagation, numerical constraint
29	Steven G. Woods, Qiang Yang 0001	The Program Understanding Problem: Analysis and a Heuristic Approach.	ICSE	1996	DBLP BibTeX RDF	complex source code, formal complexity results, heuristic solutions, problem solving model, program understanding problem, computational complexity, reverse engineering, conceptual models, NP hard, CSPs, search problems, constraint satisfaction problems, constraint propagation, search algorithms, constraint handling, heuristic approach
29	Bill Triggs	Matching Constraints and the Joint Image.	ICCV	1995	DBLP DOI BibTeX RDF	combined homogeneous image coordinates, multi image perspective projection, image measurements, combined image projections, 3D joint image subspace, complete projective replica, 3D world, image coordinates, 4 index joint image Grassmannian tensor, multilinear tensorial equations, trilinear constraint, complex algebraic interdependency, quadratic structural simplicity constraints, computational geometry, image reconstruction, linear algebra, tensors, projective reconstruction, epipolar constraint, constraint theory, imaging geometry, matching constraints
29	Masami Hagiya, Tomoki Shiratori	Programming by Example in Computing-as-Editing Paradigm.	VL	1995	DBLP DOI BibTeX RDF	computing-as-editing paradigm, computation traces, 2D constraint language, iteration constraint, fixed increments, conditional expressions inference, iterative methods, visual programming, rules, inference mechanisms, constraint handling, programming by example, interactive environment, text editing, learning by example, interactive programming
29	Kenneth Rose, Eitan Gurewitz, Geoffrey C. Fox	Constrained Clustering as an Optimization Method.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	cluster mass variables, total mass constraint, second Lagrange multiplier, open path constraint, optimization, pattern recognition, pattern recognition, simulated annealing, information theory, dimensionality reduction, unsupervised learning, traveling salesman problem, neural nets, neural nets, maximum entropy, phase transitions, deterministic annealing, constraint theory, constrained clustering, elastic net
29	Hélène Collavizza, Michel Rueher	Exploration of the Capabilities of Constraint Programming for Software Verification.	TACAS	2006	DBLP DOI BibTeX RDF
29	Praveen Madiraju, Rajshekhar Sunderraman	An efficient constraint planning algorithm for multidatabases.	AICCSA	2005	DBLP DOI BibTeX RDF
29	Evangeline F. Y. Young, Martin D. F. Wong, Hannah Honghua Yang	Slicing floorplans with range constraint.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
29	Tobias Müller	Practical Investigation of Constraints with Graph Views.	CP	2000	DBLP DOI BibTeX RDF
29	Frédéric Benhamou	Heterogeneous Constraint Solving.	ALP	1996	DBLP DOI BibTeX RDF
29	Yevgeny Schreiber	Cost-Driven Interactive CSP with Constraint Relaxation.	CP	2009	DBLP DOI BibTeX RDF	Cost-Driven Interactive CSP, ICSP, Functional Test Generation, Constraint Relaxation
28	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
28	Víctor Dalmau	A new tractable class of constraint satisfaction problems.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	para-primal algebra, complexity, constraint satisfaction problem
28	Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder	Timid acquisition of constraint satisfaction problems.	SAC	2005	DBLP DOI BibTeX RDF	machine learning, constraint satisfaction
28	Nikolai Kosmatov	Constraint Solving for Sequences in Software Validation and Verification.	INAP	2005	DBLP DOI BibTeX RDF	verification, validation, sequences, constraint solver
28	Jürgen Zimmer, Erica Melis	Constraint Solving for Proof Planning.	J. Autom. Reason.	2004	DBLP DOI BibTeX RDF	constraint satisfaction, automated reasoning, proof plans
28	Steve Barker, Peter J. Stuckey	Flexible access control policy specification with constraint logic programming.	ACM Trans. Inf. Syst. Secur.	2003	DBLP DOI BibTeX RDF	Role-based access control, constraint logic programming
28	Hiroshi Hosobe	A modular geometric constraint solver for user interface applications.	UIST	2001	DBLP DOI BibTeX RDF	module mechanisms, geometric constraints, graph layouts, soft constraints, constraint solvers
28	Marta Z. Kwiatkowska	Infinite Behaviour and Fairness in Concurrent Constraint Programming.	REX Workshop	1992	DBLP DOI BibTeX RDF	fairness, liveness, semantic properties, concurrent constraint programming
28	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard Reasoning in the Refined Operational Semantics of CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
28	Oleg Shcherbina, Arnold Neumaier, Djamila Sam-Haroud, Xuan-Ha Vu, Tuan-Viet Nguyen	Benchmarking Global Optimization and Constraint Satisfaction Codes.	COCOS	2002	DBLP DOI BibTeX RDF
28	Nikolaos V. Sahinidis	Global Optimization and Constraint Satisfaction: The Branch-and-Reduce Approach.	COCOS	2002	DBLP DOI BibTeX RDF
28	Xuan-Ha Vu, Djamila Sam-Haroud, Marius-Calin Silaghi	Numerical Constraint Satisfaction Problems with Non-isolated Solutions.	COCOS	2002	DBLP DOI BibTeX RDF
27	Sebastien Siva, Lesi Wang	A SQL database system for solving constraints.	PIKM	2008	DBLP DOI BibTeX RDF	SQL, satisfiability (sat), constraint databases
27	Chang Yuan, Gérard G. Medioni, Jinman Kang, Isaac Cohen	Detecting Motion Regions in the Presence of a Strong Parallax from a Moving Camera by Multiview Geometric Constraints.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	plane plus parallax, Motion detection, multiple view geometry, epipolar constraint
27	Wady Naanaa	A domain decomposition algorithm for constraint satisfaction.	ACM J. Exp. Algorithmics	2008	DBLP DOI BibTeX RDF	Constraint graph orientation, domain decomposition algorithms, value substitutability, constraint satisfaction problems
27	Stefano Bistarelli, Francesco Santini 0001	A Formal and Practical Framework for Constraint-Based Routing.	ICN	2008	DBLP DOI BibTeX RDF	Soft Constraint Logic Programming, Constraint-Based Routing
27	Kevin R. Glass, Shaun Bangay	Constraint-based conversion of fiction text to a time-based graphical representation.	SAICSIT	2007	DBLP DOI BibTeX RDF	interval constraint solving, text-to-scene, text-to-scene conversion, interval arithmetic, constraint solving
27	Tieke Li, Dongfen Guo	Constraint-Based Approach for Steelmaking-Continuous Casting Rescheduling.	IEA/AIE	2007	DBLP DOI BibTeX RDF	steelmaking-continuous casting, dynamic constraint satisfaction problem, constraint propagation, rescheduling
27	Georg Ringwelski	An Arc-Consistency Algorithm for Dynamic and Distributed Constraint Satisfaction Problems.	Artif. Intell. Rev.	2005	DBLP DOI BibTeX RDF	dynamic and distributed constraint processing, constraint propagation
27	Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana-Pasto	Transforming an under-constrained geometric constraint problem into a well-constrained one.	Symposium on Solid Modeling and Applications	2003	DBLP DOI BibTeX RDF	graph-based constraint solving, over-constrained and under-constrained systems, constraint solving, geometric constraints
27	Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith 0001	Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums.	COCOS	2003	DBLP DOI BibTeX RDF	Pronys method, redundant constraint, Parameter estimation, interval arithmetic, constraint propagation, exponential sum
27	Tommaso Bolognesi	Toward Constraint-Object-Oriented Development.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Constraint-oriented specification, Co-Notation, constraint-object-oriented design, method decomposition, JAVA programming style, LOTOS, multi-object operation
27	Frédéric Goualard, Frédéric Benhamou	A Visualization Tool for Constraint Program Debugging.	ASE	1999	DBLP DOI BibTeX RDF	constraint store, user interface, program understanding, constraint programming, local consistency, debugger
27	Peter B. Ladkin, Roger D. Maddux	On Binary Constraint Problems.	J. ACM	1994	DBLP DOI BibTeX RDF	constraint matrices, relation algebras, constraint satisfaction problems, relations, path consistency
27	François Fages, Julien Martin	From Rules to Constraint Programs with the Rules2CP Modelling Language.	CSCLP	2008	DBLP DOI BibTeX RDF
27	Le Chang, Alan K. Mackworth	Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference.	CP	2005	DBLP DOI BibTeX RDF
27	Christian Schulte 0001, Guido Tack	Views and Iterators for Generic Constraint Implementations.	CSCLP	2005	DBLP DOI BibTeX RDF
27	Xiaofei Huang	A General Extension of Constraint Propagation for Constraint Optimization.	CP	2004	DBLP DOI BibTeX RDF
27	Nicolas Beldiceanu, Irit Katriel, Sven Thiel	GCC-Like Restrictions on the Same Constraint.	CSCLP	2004	DBLP DOI BibTeX RDF
27	Jean-Charles Régin, Michel Rueher	A Global Constraint Combining a Sum Constraint and Difference Constraints.	CP	2000	DBLP DOI BibTeX RDF
27	Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal	New filtering algorithms for combinations of among constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Domain consistency, Polynomial time filtering, Car sequencing, Regular constraint, Sequence constraint
27	Andreas Petter, Alexander Behring, Max Mühlhäuser	Solving Constraints in Model Transformations.	ICMT@TOOLS	2009	DBLP DOI BibTeX RDF	model transformation, model driven engineering, constraint programming, constraint solving
27	Thomas Hermann 0002, Jörg Peters 0001, Tim Strotman	A geometric criterion for smooth interpolation of curve networks.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	C1 surface construction, Euler curvature constraint, local network interpolation, vertex enclosure constraint, splines
27	Susana Muñoz-Hernández, José Manuél Gómez-Pérez	Solving Collaborative Fuzzy Agents Problems with CLP(FD).	PADL	2005	DBLP DOI BibTeX RDF	Fuzzy Prolog, Constraint Programming Application, Multi-Agent Systems, Finite Domains, Collaborative Agents, Modeling Uncertainty, (Constraint) Logic Programming
26	Nadia Creignou, Henning Schnoor, Ilka Schnoor	Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.	CSL	2008	DBLP DOI BibTeX RDF
26	Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter	Constraint Integer Programming: A New Approach to Integrate CP and MIP.	CPAIOR	2008	DBLP DOI BibTeX RDF
26	Jinbo Huang	Universal Booleanization of Constraint Models.	CP	2008	DBLP DOI BibTeX RDF
26	T. K. Satish Kumar	A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems.	CP	2008	DBLP DOI BibTeX RDF
26	Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh	Encodings of the Sequence Constraint.	CP	2007	DBLP DOI BibTeX RDF
26	David A. Cohen, Martin C. Cooper, Peter Jeavons 0001	An Algebraic Characterisation of Complexity for Valued Constraint.	CP	2006	DBLP DOI BibTeX RDF
26	Hubie Chen	Quantified Constraint Satisfaction, Maximal Constraint Languages, and Symmetric Polymorphisms.	STACS	2005	DBLP DOI BibTeX RDF
26	Thom W. Frühwirth	Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains.	CSCLP	2005	DBLP DOI BibTeX RDF
26	Sébastien Sorlin, Christine Solnon	A Global Constraint for Graph Isomorphism Problems.	CPAIOR	2004	DBLP DOI BibTeX RDF
26	Philippe Blache, Jean-Philippe Prost	Gradience, Constructions and Constraint Systems.	CSLP	2004	DBLP DOI BibTeX RDF
26	Pascal Van Hentenryck, Laurent Michel, Liyuan Liu	Constraint-Based Combinators for Local Search.	CP	2004	DBLP DOI BibTeX RDF
26	Andrea Lodi 0001, Michela Milano, Louis-Martin Rousseau	Discrepancy-Based Additive Bounding for the AllDifferent Constraint.	CP	2003	DBLP DOI BibTeX RDF
26	Toby Walsh	Constraint Patterns.	CP	2003	DBLP DOI BibTeX RDF
26	Susan L. Epstein, Eugene C. Freuder	Collaborative Learning for Constraint Solving.	CP	2001	DBLP DOI BibTeX RDF
26	Kurt Mehlhorn, Sven Thiel	Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint.	CP	2000	DBLP DOI BibTeX RDF
26	Barbara Catania, Alberto Belussi, Elisa Bertino	Introducing External Functions in Constraint Query Languages.	CP	1998	DBLP DOI BibTeX RDF
26	Songhua Xu, Francis C. M. Lau 0001, William K. Cheung 0001, Yunhe Pan	Automatic Generation of Artistic Chinese Calligraphy.	IEEE Intell. Syst.	2005	DBLP DOI BibTeX RDF	computer calligraphy, hierarchical shape representation, computer graphics, constraint satisfaction, constraint handling, nonphotorealistic rendering, analogous reasoning, constraint-based reasoning, shape decomposition
26	Jesús Manuel Almendros-Jiménez	Constraint logic programming over sets of spatial objects.	WCFLP	2005	DBLP DOI BibTeX RDF	logic programming, CLP
26	Praveen Madiraju, Rajshekhar Sunderraman	A mobile agent approach for global database constraint checking.	SAC	2004	DBLP DOI BibTeX RDF	multi-database systems, mobile agents, global constraints
26	Phokion G. Kolaitis	Constraint Satisfaction, Complexity, and Logic.	SETN	2004	DBLP DOI BibTeX RDF
26	Slim Abdennadher, Thom W. Frühwirth	Integration and Optimization of Rule-Based Constraint Solvers.	LOPSTR	2003	DBLP DOI BibTeX RDF
26	Chong-Kan Chiu, Jimmy Ho-Man Lee	Efficient Interval Linear Equality Solving in Constraint Logic Programming.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
26	Bintou Kane, Hong Su, Elke A. Rundensteiner	Consistently updating XML documents using incremental constraint check queries.	WIDM	2002	DBLP DOI BibTeX RDF	XQuery, XML schema, XML update
26	Miguel A. Salido, Federico Barber	An Incremental and Non-binary CSP Solver: The Hyperpolyhedron Search Algorithm.	CP	2001	DBLP DOI BibTeX RDF