Search results for "constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
6	Chen Li	Using Constraints to Describe Source Contents in Data Integration Systems.	IEEE Intelligent Systems	2003	DBLP DOI BibTeX RDF	source constraints, local constraints, general global constraints, source-derived global constraints, data integration
5	Meinolf Sellmann, Thorsten Gellermann, Robert Wright	Cost-based Filtering for Shorter Path Constraints.	Constraints	2007	DBLP DOI BibTeX RDF	Global constraints, Optimization constraints, Relaxed consistency, Constrained shortest paths, Problem reduction
5	Wei Zhou, Christoph Meinel	Function-Based Authorization Constraints Specification and Enforcement.	IAS	2007	DBLP DOI BibTeX RDF	Access control, authorization constraints, constraints specification, constraints enforcement
5	Meinolf Sellmann	The Theory of Grammar Constraints.	CP	2006	DBLP DOI BibTeX RDF	regular grammar constraints, context-free grammar constraints, constraint filtering, global constraints
5	Paula Amaral, Pedro Barahona	A Framework for Optimal Correction of Inconsistent Linear Constraints.	Constraints	2005	DBLP DOI BibTeX RDF	infeasibility, flexible constraints, optimal correction, linear constraints
5	Yahia Lebbah, Claude Michel, Michel Rueher	A Rigorous Global Filtering Algorithm for Quadratic Constraints*.	Constraints	2005	DBLP DOI BibTeX RDF	quadratic constraints, safe linearizations, global constraints
5	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
5	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
5	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
5	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
5	David W. Lin, Jiann-Jone Chen	Efficient Optimal Rate-Distortion Coding of Video Sequences Under Multiple Rate Constraints. (PDF / PS)	ICIP	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
5	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
5	Xiaoping Hu, 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
5	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
4	Thibaut Feydy, Peter J. Stuckey	Propagating systems of dense linear integer constraints.	Constraints	2009	DBLP DOI BibTeX RDF	Gauss-Jordan elimination, Fourier elimination, Interval arithmetic, Constraint propagation, Linear constraints
4	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
4	Roberto Rossi, Armagan Tarim, Brahim Hnich, Steven David Prestwich	A Global Chance-Constraint for Stochastic Inventory Systems Under Service Level Constraints.	Constraints	2008	DBLP DOI BibTeX RDF	Global chance-constraints, Stochastic inventory control, Non-stationary (R,S) policy, Uncertainty
4	Hadrien Cambazard, Barry O'Sullivan	Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation.	Constraints	2008	DBLP DOI BibTeX RDF	Table constraints, Explanation generation, Functional dependencies
4	V. Jeyakumar, N. Q. Huy	Global minimization of difference of quadratic and convex functions over box or binary constraints.	Optimization Letters	2008	DBLP DOI BibTeX RDF	Quadratic non-convex minimization, Box constraints, 0/1 Constraints, Sufficient conditions, Necessary optimality conditions, Concave minimization
4	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
4	Krzysztof R. Apt, Peter Zoeteweij	An Analysis of Arithmetic Constraints on Integer Intervals.	Constraints	2007	DBLP DOI BibTeX RDF	Arithmetic constraints, Integer interval arithmetic, Constraint propagation, Local consistency
4	Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	The Complexity of Reasoning with Global Constraints.	Constraints	2007	DBLP DOI BibTeX RDF	Generalized arc consistency, Computational complexity, Constraint propagation, Global constraints
4	Lengning Liu, Miroslaw Truszczynski	Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques.	Constraints	2007	DBLP DOI BibTeX RDF	Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
4	Nicolas Beldiceanu	Introduction to the Special Issue on Global Constraints.	Constraints	2007	DBLP DOI BibTeX RDF	Graph constraints, Constraint Programming, Global constraints, Resource scheduling
4	John Kodumal, Alex Aiken	Regularly annotated set constraints.	PLDI	2007	DBLP DOI BibTeX RDF	annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability
4	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
4	Khaled M. Elbassioni, Irit Katriel	Multiconsistency and Robustness with Global Constraints.	Constraints	2006	DBLP DOI BibTeX RDF	Multi-consistency, Alldifferent, Global cardinality constraint, Global constraints, Arc-consistency, Filtering algorithms, Robust solutions
4	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
4	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
4	Brahim Hnich, Steven David Prestwich, Evgeny Selensky, Barbara M. Smith	Constraint Models for the Covering Test Problem.	Constraints	2006	DBLP DOI BibTeX RDF	Chanelling constraints, Modelling, Testing, Local search, Symmetry, Global constraints, Covering arrays
4	Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma	Reasoning about synchronization in GALS systems.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Symbolic timing analysis, GALS systems, Multi-clocked systems, Symbolic delay constraints, Synchronization constraints, Sequencing constraints
4	Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit	Reformulation of Global Constraints Based on Constraints Checkers.	Constraints	2005	DBLP DOI BibTeX RDF	automata, global constraints, reformulation
4	Sebti Foufou, Dominique Michelucci, Jean-Paul Jurzak	Numerical decomposition of geometric constraints.	Symposium on Solid and Physical Modeling	2005	DBLP DOI BibTeX RDF	constraints decomposition and solving, geometry provers, geometric constraints
4	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
4	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
4	Martin Henz, Roland H. C. Yap, Lim Yun Fong, 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
4	Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan	Modeling and detecting the cascade vulnerability problem using soft constraints.	SAC	2004	DBLP DOI BibTeX RDF	security, constraints, multilevel security, soft constraints
4	Abdullah Uz Tansel	Integrity Constraints in Temporal Relational Databases.	ITCC	2004	DBLP DOI BibTeX RDF	Existential Integrity, Temporal Integrity Constraints, Temporal Databases, Integrity Constraints, Temporal Relations, Referential Integrity
4	Alain Colmerauer, Thi-Bich-Hanh Dao	Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees.	Constraints	2003	DBLP DOI BibTeX RDF	complexity, constraints, trees, first order logic, expressiveness
4	Michael A. Trick	A Dynamic Programming Approach for Consistency and Propagation for Knapsack Constraints.	Annals OR	2003	DBLP DOI BibTeX RDF	knapsack constraints, dynamic programming, global constraints
4	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
4	Meinolf Sellmann	Approximated Consistency for Knapsack Constraints.	CP	2003	DBLP DOI BibTeX RDF	approximation algorithms, global constraints, optimization constraints, relaxed consistency, cost-based filtering
4	Samy Ait-Aoudia, Hakim Badis, Messaoud Kara	Solving Geometric Constraints by a Hybrid Method. (PDF / PS)	IV	2001	DBLP DOI BibTeX RDF	graph-based solver, Computer aided design, matching, bipartite graphs, constraints solving, geometric constraints
4	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
4	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
4	Amitvikram Rajkhowa, Perry Alexander	VSPEC Constraints Modeling and Evaluation.	ECBS	1999	DBLP DOI BibTeX RDF	performance constraints evaluation, constraints verification
4	Samy Ait-Aoudia, Brahim Hamid, Adel Moussaoui, Toufik Saadi	Solving Geometric Constraints by a Graph-Constructive Approach. (PDF / PS)	IV	1999	DBLP DOI BibTeX RDF	graph-based solver, over- and under-constrained schemes, Computer aided design, constraints solving, geometric constraints
4	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
4	Yoshihiro Yasumuro, Qian Chen, Kunihiro Chihara	3-D Modeling of Human Hand with Motion Constraints.	3DIM	1997	DBLP DOI BibTeX RDF	motion constraints, natural constraints, digitized 3D shape, computer animation, 3D modeling, dynamic model, surface model, human hand
4	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
4	Dzung T. Hoang, Jeffrey Scott Vitter, Elliot L. Linzer	Lexicographic Bit Allocation for MPEG Video Coding. (PDF / PS)	ICIP	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
4	Oscar González, H. Shrikumar, John A. Stankovic, Krithi Ramamritham	Adaptive fault tolerance and graceful degradation under dynamic hard real-time scheduling. (PDF / PS)	IEEE Real-Time Systems Symposium	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
4	Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon	Supporting the specification and analysis of timing constraints. (PDF / PS)	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
4	Markus Röösli, Gladys Monagan	A high quality vectorization combining local quality measures and global constraints. (PDF / PS)	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
4	Massimo Tistarelli	Computation of Coherent Optical Flow by Using Multiple Constraints. (PDF / PS)	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
4	Bill Triggs	Matching Constraints and the Joint Image. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	combined homogeneous image coordinates, multi image perspective projection, 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, image measurements
4	Stefan Ronngren, Behrooz Shirazi	Static multiprocessor scheduling of periodic real-time tasks with precedence constraints and communication costs.	HICSS	1995	DBLP DOI BibTeX RDF	static multiprocessor scheduling, periodic real-time tasks, large task sets, exclusion relation, heuristic scheduling algorithms, clustering, real-time systems, resource allocation, NP-complete, multiprocessing systems, communication complexity, mutual exclusion, processor scheduling, timing constraints, task allocation, communication costs, precedence constraints, multiprocessor architecture, precedence relations, scheduling methods
4	Amit Basu, Robert W. Blanning	Discovering implicit integrity constraints in rule bases using metagraphs.	HICSS	1995	DBLP DOI BibTeX RDF	implicit integrity constraints, metagraphs, graph formalism, if-then rules, metagraph representation, knowledge representation, graph theory, data integrity, knowledge based systems, knowledge based system, decision support systems, DSS, problem solving, integrity constraints, domain knowledge, rule bases, rule base
4	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
3	Elsa Carvalho, Jorge Cruz, Pedro Barahona	Probabilistic constraints for reliability problems.	SAC	2010	DBLP DOI BibTeX RDF	continuous constraints, reliability, uncertainty
3	Radim Belohlávek, Vilém Vychodil	Background knowledge in formal concept analysis: constraints via closure operators.	SAC	2010	DBLP DOI BibTeX RDF	constraints, formal concept analysis, background knowledge
3	Selim Ciraci, Pim van den Broek, Mehmet Aksit	Graph-based verification of static program constraints.	SAC	2010	DBLP DOI BibTeX RDF	constraint verification, program constraints, prolog, graph transformations
3	Yvette Teiken, Stefan Brüggemann, Hans-Jürgen Appelrath	Interchangeable consistency constraints for public health care systems.	SAC	2010	DBLP DOI BibTeX RDF	consistency constraints, knowledge representation, medical informatics, domain ontologies, domain specific modeling
3	Salvatore Ruggieri, Fred Mesnard	Variable ranges in linear constraints.	SAC	2010	DBLP DOI BibTeX RDF	parameterized polyhedra, interval arithmetic, constraint logic programming, linear constraints
3	Carson Kai-Sang Leung, Boyu Hao, Dale A. Brajczuk	Mining uncertain data for frequent itemsets that satisfy aggregate constraints.	SAC	2010	DBLP DOI BibTeX RDF	data mining, constraints, frequent patterns, probabilistic databases, aggregate functions
3	Péter Salvi, Tamás Várady	Hierarchical surface fairing with constraints.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	digital shape reconstruction, constraints, geometric continuity, surface fairing
3	Taesup Moon, Alex J. Smola, Yi Chang, Zhaohui Zheng	IntervalRank: isotonic regression with listwise and pairwise constraints.	WSDM	2010	DBLP DOI BibTeX RDF	listwise constraints, learning to rank, isotonic regression, pairwise constraints
3	Mohammad Nauman, Sohail Khan, Xinwen Zhang	Apex: extending Android permission model and enforcement with user-defined runtime constraints.	ASIACCS	2010	DBLP DOI BibTeX RDF	policy framework, constraints, Android, mobile platforms
3	Ismel Brito, Amnon Meisels, Pedro Meseguer, Roie Zivan	Distributed constraint satisfaction with partially known constraints.	Constraints	2009	DBLP DOI BibTeX RDF	Distributed CSPs, Asynchronous search, Privacy, Entropy
3	Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal	New filtering algorithms for combinations of among constraints.	Constraints	2009	DBLP DOI BibTeX RDF	Domain consistency, Polynomial time filtering, Car sequencing, Regular constraint, Sequence constraint
3	Sara Cohen, Benny Kimelfeld, Yehoshua Sagiv	Incorporating constraints in probabilistic XML.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	probabilistic XML, sampling probabilistic data, constraints, Probabilistic databases
3	Yi Lin, Bettina Kemme, Ricardo Jiménez-Peris, Marta Patiño-Martínez, José Enrique Armendáriz-Iñigo	Snapshot isolation and integrity constraints in replicated databases.	ACM Trans. Database Syst.	2009	DBLP DOI BibTeX RDF	Replication, integrity constraints, snapshot isolation
3	Ira Neitzel, Uwe Prüfert, Thomas Slawig	Strategies for time-dependent PDE control with inequality constraints using an integrated modeling and simulation environment.	Numerical Algorithms	2009	DBLP DOI BibTeX RDF	Parabolic PDEs, Integrated modeling and simulation environments, Optimal control, Inequality constraints
3	Enrique Amigó, Julio Gonzalo, Javier Artiles, Felisa Verdejo	A comparison of extrinsic clustering evaluation metrics based on formal constraints.	Inf. Retr.	2009	DBLP DOI BibTeX RDF	Formal constraints, Clustering, Evaluation metrics
3	Lucas Bordeaux, Marco Cadoli, Toni Mancini	Generalizing consistency and other constraint properties to quantified constraints.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	quantified constraints, Constraint satisfaction, quantified Boolean formulae
3	Huseyin Hakkoymaz, Georgios Chatzimilioudis, Dimitrios Gunopulos, Heikki Mannila	Applying Electromagnetic Field Theory Concepts to Clustering with Constraints.	ECML/PKDD	2009	DBLP DOI BibTeX RDF	User Constraints, Electromagnetic Field Theory, Data Clustering
3	Chi Zhang, Gang Wang, Xiaoguang Liu, Jing Liu	Approximating Scheduling Machines with Capacity Constraints.	FAW	2009	DBLP DOI BibTeX RDF	Scheduling, Approximation, Iterative Rounding, Capacity Constraints
3	Xueping Zhang, Jiayao Wang, Haohua Du, Tengfei Yang, Yawei Liu	A Quantum Particle Swarm Optimization Used for Spatial Clustering with Obstacles Constraints.	ICIC	2009	DBLP DOI BibTeX RDF	Quantum particle swarm optimization, Spatial obstructed distance, Spatial clustering, Obstacles constraints
3	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
3	Etienne Côme, Latifa Oukhellou, Thierry Denoeux, Patrice Aknin	Noiseless Independent Factor Analysis with Mixing Constraints in a Semi-supervised Framework. Application to Railway Device Fault Diagnosis.	ICANN	2009	DBLP DOI BibTeX RDF	Independent Factor Analysis, mixing constraints, railway device, diagnosis, semi-supervised learning
3	Stefano Melacci, Marco Maggini, Marco Gori	Semi-supervised Learning with Constraints for Multi-view Object Recognition.	ICANN	2009	DBLP DOI BibTeX RDF	multi-view object recognition, constraints, semi-supervised learning, kernel methods
3	Andrea Calì, Georg Gottlob, Thomas Lukasiewicz	Datalog±: a unified approach to ontologies and integrity constraints.	ICDT	2009	DBLP DOI BibTeX RDF	ontologies, semantic web, complexity, databases, constraints, dependencies, datalog, conjunctive queries, query evaluation, tractability, chase
3	Everardo Bárcenas, Pierre Genevès, Nabil Layaïda	On the analysis of queries with counting constraints.	ACM Symposium on Document Engineering	2009	DBLP DOI BibTeX RDF	counting constraints, modal logics, xpath, xml, type checking
3	Gilles Pesant, Claude-Guy Quimper, Louis-Martin Rousseau, Meinolf Sellmann	The Polytope of Context-Free Grammar Constraints.	CPAIOR	2009	DBLP DOI BibTeX RDF	grammar constraints, polytope
3	Hassan Takabi, Minsoo Kim 0001, James B. D. Joshi, Michael B. Spring	An architecture for specification and enforcement of temporal access control constraints using OWL.	SWS	2009	DBLP DOI BibTeX RDF	gtrbac, access control, temporal constraints, owl
3	Giuseppe Pelagatti, Mauro Negri, Alberto Belussi, Sara Migliorini	From the conceptual design of spatial constraints to their implementation in real systems.	GIS	2009	DBLP DOI BibTeX RDF	spatial data validation, spatial integrity constraints, conceptual modeling
3	Stéphane Clinchant, Éric Gaussier	Retrieval constraints and word frequency distributions: a log-logistic model for IR.	CIKM	2009	DBLP DOI BibTeX RDF	ir models, log-logistic, retrieval constraints, burstiness
3	Andrea M. Goncher	Creativity under constraints: the affect of problem space on design learning among engineering students.	Creativity & Cognition	2009	DBLP DOI BibTeX RDF	constraints, creativity, engineering design
3	Peter Nightingale	Non-binary quantified CSP: algorithms and modelling.	Constraints	2009	DBLP DOI BibTeX RDF	QCSP, Quantified constraints, Reasoning algorithm, Modelling, Propagation algorithm
3	Roie Zivan, Moshe Zazone, Amnon Meisels	Min-domain retroactive ordering for Asynchronous Backtracking.	Constraints	2009	DBLP DOI BibTeX RDF	Ordering heuristics, Search, Distributed constraints satisfaction
3	Ali Amer Alwan, Hamidah Ibrahim, Nur Izura Udzir	Ranking and selecting integrity tests in a distributed database.	iiWAS	2009	DBLP DOI BibTeX RDF	integrity constraints checking, distributed database, integrity constraints, integrity tests
3	Josef Kallrath	Cutting circles and polygons from area-minimizing rectangles.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Non-overlap constraints, Global Optimization, Mixed integer programming, Assignment, Packing problem, Cutting stock problem, Shape constraints, Design problem
3	Lai-Jiu Lin	Systems of variational inclusion problems and differential inclusion problems with applications.	J. Global Optimization	2009	DBLP DOI BibTeX RDF	Systems of variational inclusion problem, Systems of variational differential inclusion problems, Systems of equilibrium problems, Mathematical program with systems of variational differential inclusion constraints, Mathematical program with systems of equilibrium constraints
3	Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente	Improving the definition of general constraints in UML.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Conceptual modeling, Integrity constraints, UML profile
3	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca	Combining Tree Partitioning, Precedence, and Incomparability Constraints.	Constraints	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
3	Christof Lutteroth, Robert Strandh, Gerald Weber	Domain Specific High-Level Constraints for User Interface Layout.	Constraints	2008	DBLP DOI BibTeX RDF	Auckland Layout Model, Constraint, GUI
3	Sebastian Will, Anke Busch, Rolf Backofen	Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination.	Constraints	2008	DBLP DOI BibTeX RDF	Cluster tree elimination, Dynamic programming, Sequence alignment
3	Michael Wybrow, Kim Marriott, Linda Mciver, Peter J. Stuckey	Comparing usability of one-way and multi-way constraints for diagram editing.	ACM Trans. Comput.-Hum. Interact.	2008	DBLP DOI BibTeX RDF	diagram manipulation, layout tools, Constraints
3	J. S. Graham, Roberto Montemanni, J. N. J. Moon, D. H. Smith	Frequency assignment, multiple interference and binary constraints.	Wireless Networks	2008	DBLP DOI BibTeX RDF	Multiple interference, Binary constraints, Frequency assignment
3	Yue Yu, Shangping Ren, Ophir Frieder	Interval-Based Timing Constraints Their Satisfactions and Applications.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	interval based timing constraints, satisfaction probability, event occurrence, normal distribution, exponential distribution