Search results for "Constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Chen Li 0001	Using Constraints to Describe Source Contents in Data Integration Systems.	IEEE Intell. Syst.	2003	DBLP DOI BibTeX RDF	source constraints, local constraints, general global constraints, source-derived global constraints, data integration
47	Tobias Müller	Promoting Constraints to First-Class Status.	Computational Logic	2000	DBLP DOI BibTeX RDF	first-class constraints, early failure detection, simplification and garbage collection of constraints, minimal sets of inconsistent constraints, constraint programming
47	Paula Amaral 0001, Pedro Barahona	A Framework for Optimal Correction of Inconsistent Linear Constraints.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	infeasibility, flexible constraints, optimal correction, linear constraints
42	László Lengyel, Tihamer Levendovszky, Hassan Charaf	Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF	Metamodel-Based Graph Transformation Steps, Aspect-Oriented Constraints, Crosscutting Constraints, Weaving AO Constraints, VMTS, OCL
42	Meinolf Sellmann, Thorsten Gellermann, Robert Wright	Cost-based Filtering for Shorter Path Constraints.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Global constraints, Optimization constraints, Relaxed consistency, Constrained shortest paths, Problem reduction
42	Yahia Lebbah, Claude Michel, Michel Rueher	A Rigorous Global Filtering Algorithm for Quadratic Constraints*.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	quadratic constraints, safe linearizations, global constraints
41	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	The Complexity of Reasoning with Global Constraints.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Generalized arc consistency, Computational complexity, Constraint propagation, Global constraints
41	Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit	Reformulation of Global Constraints Based on Constraints Checkers.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	automata, global constraints, reformulation
40	Meinolf Sellmann	The Theory of Grammar Constraints.	CP	2006	DBLP DOI BibTeX RDF	regular grammar constraints, context-free grammar constraints, constraint filtering, global constraints
39	Yat Chiu Law, Jimmy H. M. Lee	Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Value symmetries, Constraint satisfaction, Symmetry breaking
38	Xubo Zhang, Z. Meral Özsoyoglu	Implication and Referential Constraints: A New Formal Reasoning.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Semantic integrity constraints, implication constraints, referential constraints, database system, query containment, semantic query optimization, refutation
36	Brahim Hnich, Steven D. Prestwich, Evgeny Selensky, Barbara M. Smith	Constraint Models for the Covering Test Problem.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Chanelling constraints, Modelling, Testing, Local search, Symmetry, Global constraints, Covering arrays
36	Wei Zhou 0006, Christoph Meinel	Function-Based Authorization Constraints Specification and Enforcement.	IAS	2007	DBLP DOI BibTeX RDF	Access control, authorization constraints, constraints specification, constraints enforcement
36	Nicolas Beldiceanu	Introduction to the Special Issue on Global Constraints.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Graph constraints, Constraint Programming, Global constraints, Resource scheduling
36	Meinolf Sellmann	Approximated Consistency for Knapsack Constraints.	CP	2003	DBLP DOI BibTeX RDF	approximation algorithms, global constraints, optimization constraints, relaxed consistency, cost-based filtering
36	Ari Rappoport, Yacov Hel-Or, Michael Werman	Interactive design of smooth objects with probabilistic point constraints.	ACM Trans. Graph.	1994	DBLP DOI BibTeX RDF	probabilistic point constraints, relaxed design, smooth objects, interpolation, Kalman filter, splines, soft constraints, shape parameter
35	Ian Davidson, S. S. Ravi	The complexity of non-hierarchical clustering with instance and cluster level constraints.	Data Min. Knowl. Discov.	2007	DBLP DOI BibTeX RDF	Non-hierarchical clustering, Complexity, Constraints
35	Chuck Monahan, Forrest Brewer	Symbolic execution of data paths.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	combinational switching, data-path model, path constraints, bus hazards, register constraints, control encoding limitations, path-constrained model, DSP microprocessor, switching logic, connection constraints, operand constraints, scheduling, Boolean functions, Boolean functions, logic design, combinational circuits, data flow analysis, processor scheduling, symbolic execution, data flow graphs, digital signal processing chips, constraint handling, combinational logic, dataflow graphs, hazards and race conditions, memory elements
35	Ian P. Gent, Kostas Stergiou 0001, Toby Walsh	Decomposable Constraints.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
35	Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma	Reasoning about synchronization in GALS systems.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Symbolic timing analysis, GALS systems, Multi-clocked systems, Symbolic delay constraints, Synchronization constraints, Sequencing constraints
34	Faouzi Boufarès, Naoufel Kraïem	A New Tool to Analyze ER-Schemas.	APAQS	2001	DBLP DOI BibTeX RDF	ER Meta-model, Valid ER-schemas, Information System, Constraints, Conceptual modeling, Meta-modeling, CASE tools, Entity- Relationship model, Cardinality constraints
34	G. Ramalingam, Junehwa Song, Leo Joskowicz, Raymond E. Miller	Solving Systems of Difference Constraints Incrementally.	Algorithmica	1999	DBLP DOI BibTeX RDF	Difference constraints, Dynamic negative cycle, Incremental algorithm, Shortest-path problem, Linear constraints
34	Witold Charatonik, Andreas Podelski	Set Constraints with Intersection.	LICS	1997	DBLP DOI BibTeX RDF	satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints
34	Hadrien Cambazard, Barry O'Sullivan	Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Table constraints, Explanation generation, Functional dependencies
34	Lengning Liu, Miroslaw Truszczynski	Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
34	Alain Colmerauer, Thi-Bich-Hanh Dao	Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	complexity, constraints, trees, first order logic, expressiveness
33	Vic Grout	Principles of Cost Minimisation in Wireless Networks.	J. Heuristics	2005	DBLP DOI BibTeX RDF	minimum connected vertex cover problem, node constraints, edge constraints, path constraints, load constraints, add algorithm, drop algorithm, wireless networks
33	Nathan Hurst, Kim Marriott, Peter Moulder	Dynamic approximation of complex graphical constraints by linear constraints.	UIST	2002	DBLP DOI BibTeX RDF	linearization of constraints, non-overlap, direct manipulation, constraint-solving, containment, trust regions
33	Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli	Automatic data mapping of signal processing applications.	ASAP	1997	DBLP DOI BibTeX RDF	automatic data mapping, signal processing applications, architectural resources constraints, fine-grain scheduling, concurrent constraints logic programming languages, concurrent resolution technique, panoramic analysis, mapping, parallel machine, data partitioning, distributed memory, real time constraints, logic programming languages
33	David W. Lin, Jiann-Jone Chen	Efficient Optimal Rate-Distortion Coding of Video Sequences Under Multiple Rate Constraints.	ICIP (2)	1997	DBLP DOI BibTeX RDF	rate-distortion coding, multiple rate constraints, quantization scales, channel constraints, delayed-coding framework, multiple Lagrange multipliers, Lagrangian optimization theory, video coding, video coding, video sequences, efficient algorithm, optimal coding, buffer constraints
32	Muhammed Al-Muhammed, David W. Embley	Resolving Underconstrained and Overconstrained Systems of Conjunctive Constraints for Service Requests.	CAiSE	2006	DBLP DOI BibTeX RDF	Service requests, underconstrained systems of constraints, overconstrained systems of constraints, ordered solutions and near solutions, expectation-based resolution, dominance
32	Leonid Libkin	Variable independence for first-order definable constraints.	ACM Trans. Comput. Log.	2003	DBLP DOI BibTeX RDF	definable sets, polynomial constraints, variable independence, First-order logic, spatio-temporal databases, linear constraints
32	Thibaut Feydy, Peter J. Stuckey	Propagating systems of dense linear integer constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Gauss-Jordan elimination, Fourier elimination, Interval arithmetic, Constraint propagation, Linear constraints
32	Roberto Rossi 0002, Armagan Tarim, Brahim Hnich, Steven D. Prestwich	A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Global chance-constraints, Stochastic inventory control, Non-stationary (R,S) policy, Uncertainty
32	Krzysztof R. Apt, Peter Zoeteweij	An Analysis of Arithmetic Constraints on Integer Intervals.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Arithmetic constraints, Integer interval arithmetic, Constraint propagation, Local consistency
32	Khaled M. Elbassioni, Irit Katriel	Multiconsistency and Robustness with Global Constraints.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	Multi-consistency, Alldifferent, Global cardinality constraint, Global constraints, Arc-consistency, Filtering algorithms, Robust solutions
32	Shing-Chi Cheung, Jeff Kramer	Context Constraints for Compositional Reachability Analysis.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	compositional techniques, context constraints, distributed systems, concurrency, static analysis, validation, reachability analysis, labeled transition systems, state space reduction
32	Katta G. Murty	Complexity of Degeneracy.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Near degeneracy, Active constraints, Tight constraints, Inactive constraints, Slack constraints, Basic feasible solution, Regular polyhedron, Simple polyhedron, Stalling, Resolving degeneracy, Positive marginal values, Negative marginal values, Extreme point enumeration, Extreme point ranking, Assignment ranking, Segments of polyhedra, NP-complete problem, Cycling, Degeneracy, Active set methods, Nondegeneracy
31	Christof Lutteroth, Robert Strandh, Gerald Weber	Domain Specific High-Level Constraints for User Interface Layout.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Auckland Layout Model, Constraint, GUI
31	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
31	Xiaoping Hu 0004, Narendra Ahuja	Matching Point Features with Ordered Geometric, Rigidity, and Disparity Constraints.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	point features, disparity constraints, intensity-based matching algorithm, heuristic tests, two-dimensional geometrical relationships, rigidity test, disparity test, epipolar line, indoor images, computational complexity, computational complexity, feature extraction, image sequences, geometry, geometric constraints, matching algorithm, rigidity constraints, feature detectors
31	Yuan-Fang Wang, Jih-Fang Wang	Surface Reconstruction Using Deformable Models with Interior and Boundary Constraints.	IEEE Trans. Pattern Anal. Mach. Intell.	1992	DBLP DOI BibTeX RDF	interior constraints, boundary constraints, elastic deformable-models, imaginary elastic grid, 1D deformable template, picture processing, deformable models, shape reconstruction, 3D surface reconstruction, shape constraints
31	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
30	Francesca Rossi 0001, Alessandro Sperduti	Acquiring Both Constraint and Solution Preferences in Interactive Constraint Systems.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	learning, user interaction, soft constraints
30	Martin Henz, Roland H. C. Yap, Yun Fong Lim, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping	Solving Hierarchical Constraints over Finite Domains with Local Search.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	hierarchical constraints, over-constrained problems, airport gate allocation, finite domain constraints
30	Abdullah Uz Tansel	Integrity Constraints in Temporal Relational Databases.	ITCC (2)	2004	DBLP DOI BibTeX RDF	Existential Integrity, Temporal Integrity Constraints, Temporal Databases, Integrity Constraints, Temporal Relations, Referential Integrity
30	Samy Ait-Aoudia, Hakim Badis, Messaoud Kara	Solving Geometric Constraints by a Hybrid Method.	IV	2001	DBLP DOI BibTeX RDF	graph-based solver, Computer aided design, matching, bipartite graphs, constraints solving, geometric constraints
30	Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon	Supporting the specification and analysis of timing constraints.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	timing constraints analysis, real-time programmers, user-friendly environment, user specification, real-time systems, user interface, formal specification, timing, synchronisation, timing constraints, computer aided software engineering, C language, C program, project support environments
30	Markus Röösli, Gladys Monagan	A high quality vectorization combining local quality measures and global constraints.	ICDAR	1995	DBLP DOI BibTeX RDF	high quality vectorization, local quality measures, vectorization system, vector data generation, line structures, raster image, straight lane segment, high quality vector data, line objects, generated vector data, interactive data postprocessing, feature extraction, computational geometry, image recognition, industrial applications, geometric constraints, global constraints, spatial data structures, circular arc
30	Ding Chen, Chee Yong Chan	Minimization of tree pattern queries with constraints.	SIGMOD Conference	2008	DBLP DOI BibTeX RDF	query minimization, tree pattern queries, simulation, xpath, xml, integrity constraints, chase
29	Neil Coburn, Grant E. Weddell	Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies.	DOOD	1991	DBLP DOI BibTeX RDF	constraints, typing, functional dependencies, specialization, complex objects, object-oriented data models, equations
29	Juan Pablo Vielma, George L. Nemhauser	Modeling Disjunctive Constraints with a Logarithmic Number of Binary Variables and Constraints.	IPCO	2008	DBLP DOI BibTeX RDF
28	Carlos Ruiz, Myra Spiliopoulou, Ernestina Menasalvas Ruiz	C-DBSCAN: Density-Based Clustering with Constraints.	RSFDGrC	2007	DBLP DOI BibTeX RDF	constraint-based clustering, instance-level constraints, clustering with constraints, semi-supervised clustering, background knowledge
28	Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau	On global warming: Flow-based soft global constraints.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Network flows, Global constraints, Soft constraints
28	Mark Strembeck, Gustaf Neumann	An integrated approach to engineer and enforce context constraints in RBAC environments.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	Context-dependent access control, constraints engineering, context constraints, role-based access control
28	Gail-Joon Ahn, Ravi S. Sandhu	Role-based authorization constraints specification.	ACM Trans. Inf. Syst. Secur.	2000	DBLP DOI BibTeX RDF	role-based access control, access control models, authorization constraints, constraints specification
28	Amitvikram Rajkhowa, Perry Alexander	VSPEC Constraints Modeling and Evaluation.	ECBS	1999	DBLP DOI BibTeX RDF	performance constraints evaluation, constraints verification
28	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
28	Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey	Removing propagation redundant constraints in redundant modeling.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	redundant constraints, redundant modeling, Constraint propagation
28	Mark C. Johnson, Kaushik Roy 0001	Optimal Selection of Supply Voltages and Level Conversions During Data Path Scheduling Under Resource Constraints.	ICCD	1996	DBLP DOI BibTeX RDF	level conversion, voltage selection, scheduling, low-power, synthesis, DSP, ILP, resource constraints, datapath
28	Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan	Distributed constraint satisfaction with partially known constraints.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Privacy, Entropy
28	Frédéric Benhamou, Laurent Granvilliers, Frédéric Goualard	Interval Constraints: Results and Perspectives.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
27	Iddo Hanniel, Kirk Haller	Solving global geometric constraints on free-form curves.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF
27	Dzung T. Hoang, Jeffrey Scott Vitter, Elliot L. Linzer	Lexicographic Bit Allocation for MPEG Video Coding.	ICIP (1)	1997	DBLP DOI BibTeX RDF	MPEG video coding, lexicographic bit allocation, MPEG video coder, visual quality equalisation, coded pictures, channel constraints, video buffering verifier, bit production model, input pictures, bit-rate constraints, optimal lexicographic criterion, decoder model, perceptual quantisation, efficient algorithms, sufficient condition, code standards, pictures, necessary condition, buffer constraints, MPEG standards
27	Oscar González 0002, H. Shrikumar, John A. Stankovic, Krithi Ramamritham	Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling.	RTSS	1997	DBLP DOI BibTeX RDF	adaptive fault tolerance, dynamic hard real-time scheduling, static redundancy allocation, variable environments, redundancy strategy, radar tracking software, AWACS, early warning aircraft, timing-centric performance metric, quality of service, fault tolerant computing, timing constraints, temporal constraints, resource constraints, QoS guarantees, graceful degradation
27	Camélia Constantin, David Gross-Amblard, Meryem Guerrouani	Watermill: an optimized fingerprinting system for highly constrained data.	MM&Sec	2005	DBLP DOI BibTeX RDF	semantic integrity constraints, usability constraints, XML, relational databases, watermarking, fingerprinting
27	Jitendra Malik, Dror E. Maydan	Recovering Three-Dimensional Shape from a Single Image of Curved Objects.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	3D shape recover, curved objects, Lambertian surfaces, point light source, shading constraints, Horn's image irradiance equation, pattern recognition, pattern recognition, image segmentation, picture processing, picture processing, edge, line drawing, global constraints, surface orientation, variational techniques, reflectance map, variational formulation, single image
27	Helmut Simonis	Models for Global Constraint Applications.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Industrial programming, Constraint programming, Global constraints
27	Sophie Demassey, Gilles Pesant, Louis-Martin Rousseau	A Cost-Regular Based Hybrid Column Generation Approach.	Constraints An Int. J.	2006	DBLP DOI BibTeX RDF	hybrid OR/CP methods, CP-based column generation, employee timetabling, branch and price, optimization constraints
27	Martin C. Cooper	High-Order Consistency in Valued Constraint Satisfaction.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints
27	Petr Vilím, Roman Barták, Ondrej Cepek	Extension of O(n log n) Filtering Algorithms for the Unary Resource Constraint to Optional Activities.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	unary resource, scheduling, global constraints, alternatives
27	Wolfgang Achtziger, Christian Kanzow	Mathematical programs with vanishing constraints: optimality conditions and constraint qualifications.	Math. Program.	2008	DBLP DOI BibTeX RDF	Vanishing constraints, Constrained optimization, Optimality conditions, Structural optimization, Constraint qualifications, Mathematical programs with equilibrium constraints
27	Vijay Sundararajan, Sachin S. Sapatnekar, Keshab K. Parhi	A new approach for integration of min-area retiming and min-delay padding for simultaneously addressing short-path and long-path constraints.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	Minimum area retiming, application of mincost network flow, longpath circuit constraints, minimum delay padding, shortpath circuit constraints
27	Michael A. Trick	A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	knapsack constraints, dynamic programming, global constraints
27	Massimo Tistarelli	Computation of Coherent Optical Flow by Using Multiple Constraints.	ICCV	1995	DBLP DOI BibTeX RDF	coherent optical flow computation, temporal image feature change, multiple data points, differential constraints, gray level pattern, multiple image points, temporal behaviour, erroneous measurements, depth discontinuities, motion estimation, image sequences, time, occlusions, shadows, image features, constraint theory, multiple constraints, velocity field, real image sequences, image velocity
26	Michael Sannella	Skyblue: A Multi-way Local Propagation Constraint Solver for User Interface Construction.	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	SkyBlue, local propagation, user interface implementation, constraints, constraint hierarchies
26	Ioannis Tsamardinos, Thierry Vidal, Martha E. Pollack	CTP: A New Constraint-Based Formalism for Conditional, Temporal Planning.	Constraints An Int. J.	2003	DBLP DOI BibTeX RDF	constraint-based planning, conditional planning, temporal reasoning
26	Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst	HAMPI: a solver for string constraints.	ISSTA	2009	DBLP DOI BibTeX RDF	string constraints, regular languages, context-free languages
26	Jinjun Chen, Yun Yang 0001	Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems.	ICSE	2008	DBLP DOI BibTeX RDF	checkpoint selection, fixed-time constraints, grid workflows, temporal dependency
26	Chan-Gun Lee, Aloysius K. Mok, Prabhudev Konana	Monitoring of Timing Constraints with Confidence Threshold Requirements.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	fault tolerance, Constraints, monitors, temporal logic, real-time and embedded systems
26	Martin C. Cooper	Constraints Between Distant Lines in the Labelling of Line Drawings of Polyhedral Scenes.	Int. J. Comput. Vis.	2007	DBLP DOI BibTeX RDF	line drawing labelling, non-trihedral vertices, valued constraint satisfaction problem, soft constraints, polyhedral objects, parallel lines
26	Jildou Louwsma, Sisi Zlatanova, Ron van Lammeren, Peter van Oosterom	Specifying and Implementing Constraints in GIS - with Examples from a Geo-Virtual Reality System.	GeoInformatica	2006	DBLP DOI BibTeX RDF	object constraints, GeoVR, virtual reality, unified modelling language, GIS, object constraint language, 3D objects
26	Yiu-Cheong Tam, Evangeline F. Y. Young, Chris C. N. Chu	Analog placement with symmetry and other placement constraints.	ICCAD	2006	DBLP DOI BibTeX RDF	symmetry constraints, placement, analog circuits, sequence-pair
26	Hilderick A. van der Meiden, Willem F. Bronsvoort	Solving topological constraints for declarative families of objects.	Symposium on Solid and Physical Modeling	2006	DBLP DOI BibTeX RDF	families of objects, parametric and feature-based modelling, satisfiability, declarative specification, topological constraints
26	Wenfei Fan, Leonid Libkin	On XML integrity constraints in the presence of DTDs.	J. ACM	2002	DBLP DOI BibTeX RDF	XML, XML, Consistency, integrity constraints, DTDs, implication
26	Joachim Niehren, Manfred Pinkal, Peter Ruhrberg	On Equality Up-to Constraints over Finite Trees, Context Unification, and One-Step Rewriting.	CADE	1997	DBLP DOI BibTeX RDF	tree constraints, subtree relation, string unification, context unification, linear second-order unification, one-step rewriting, semantic processing of natural language
26	Sebastian Will, Anke Busch, Rolf Backofen	Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Cluster tree elimination, Dynamic programming, Sequence alignment
26	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca	Combining Tree Partitioning, Precedence, and Incomparability Constraints.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Digraph partitioning, Tree constraint, Incomparability constraint, Ordered disjoint paths problem, Phylogenetic supertree problem, Filtering, Tree, Global constraint, Precedence constraint, Hamiltonian path problem
26	Xuan Liu 0004, Pengzhu Zhang	Research on Constraints in Anti-Money Laundering (AML) Business Process in China Based on Theory of Constraints.	HICSS	2008	DBLP DOI BibTeX RDF	anti-money laundering, theory of constraints, business process, field study
26	Roie Zivan, Amnon Meisels	Asymmetric Distributed Constraints Satisfaction Problems.	CP	2005	DBLP DOI BibTeX RDF
26	Laks V. S. Lakshmanan, Raymond T. Ng, Jiawei Han 0001, Alex Pang	Optimization of Constrained Frequent Set Queries with 2-variable Constraints.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
26	Salvador Robles Herrera, Martine Ceberio, Vladik Kreinovich	Computing the Range of a Function-of-Few-Linear-Combinations Under Linear Constraints: A Feasible Algorithm.	Uncertainty, Constraints, and Decision Making	2023	DBLP DOI BibTeX RDF
26	Sibylle Hess	Matrix Factorization with Binary Constraints.	Mach. Learn. under Resour. Constraints Vol. 1 (1)	2022	DBLP DOI BibTeX RDF
26	Chitta Baral, Martine Ceberio, Vladik Kreinovich	How Neural Networks (NN) Can (Hopefully) Learn Faster by Taking into Account Known Constraints.	Decision Making under Constraints	2020	DBLP DOI BibTeX RDF
26	Winnifried Wollner	A Priori Error Estimates for Optimal Control Problems with Constraints on the Gradient of the State on Nonsmooth Polygonal Domains.	Control and Optimization with PDE Constraints	2013	DBLP DOI BibTeX RDF
26	Kenil C. K. Cheng, Roland H. C. Yap	An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints.	Constraints An Int. J.	2010	DBLP DOI BibTeX RDF
26	Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer	06401 Abstracts Collection - Complexity of Constraints.	Complexity of Constraints	2006	DBLP BibTeX RDF
26	Nadia Creignou, Phokion G. Kolaitis, Heribert Vollmer	06401 Executive Summary - Complexity of Constraints.	Complexity of Constraints	2006	DBLP BibTeX RDF
26	Gerhard Brewka, Ilkka Niemelä, Torsten Schaub, Miroslaw Truszczynski, Joost Vennekens	05171 Abstracts Collection - Nonmonotonic Reasoning, Answer Set Programming and Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF
26	Victor W. Marek, Jeffrey B. Remmel	Normal Form Theorem for Logic Programs with Cardinality Constraints.	Nonmonotonic Reasoning, Answer Set Programming and Constraints	2005	DBLP BibTeX RDF