Search results for "Constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Yuanlin Zhang 0004	On Tightness of Constraints.	CP	2004	DBLP DOI BibTeX RDF
20	Mingyan Huang, Zhiyong Liu, Scott D. Goodwin	Dueling CSP Representations: Local Search in the Primal versus Dual Constraint Graph.	AI	2003	DBLP DOI BibTeX RDF
20	Maria A. Osorio, Fred W. Glover	Exploiting Surrogate Constraint Analysis for Fixing Variables in both bounds for Multidimensional Knapsack Problems.	ENC	2003	DBLP DOI BibTeX RDF
20	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	jcc: Integrating Timed Default Concurrent Constraint Programming into Java.	EPIA	2003	DBLP DOI BibTeX RDF
20	François Laburthe	Constraints over Ontologies.	CP	2003	DBLP DOI BibTeX RDF
20	Jlifi Boutheina, Khaled Ghédira	On the Enhancement of the Informed Backtracking Algorithm.	CP	2003	DBLP DOI BibTeX RDF
20	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCoS	2002	DBLP DOI BibTeX RDF
20	Chung-Yang Huang, Kwang-Ting Cheng	Using word-level ATPG and modular arithmetic constraint-solvingtechniques for assertion property checking.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
20	Nicolas Beldiceanu, Qi Guo, Sven Thiel	Non-overlapping Constraints between Convex Polytopes.	CP	2001	DBLP DOI BibTeX RDF
20	Zeynep Kiziltan	Labelling Heuristics for CSP Application Domains.	CP	2001	DBLP DOI BibTeX RDF
20	Thierry Petit, Jean-Charles Régin, Christian Bessière	Specific Filtering Algorithms for Over-Constrained Problems.	CP	2001	DBLP DOI BibTeX RDF
20	Hartwig Baumgärtel	Distributed Constraint Processing for Production Logistics.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF
20	Moshe Y. Vardi	Constraint Satisfaction and Database Theory: a Tutorial.	PODS	2000	DBLP DOI BibTeX RDF
20	Baoqiu Cui, David Scott Warren	A System for Tabled Constraint Logic Programming.	Computational Logic	2000	DBLP DOI BibTeX RDF
20	Chung-Yang Huang, Kwang-Ting Cheng	Assertion checking by combined word-level ATPG and modular arithmetic constraint-solving techniques.	DAC	2000	DBLP DOI BibTeX RDF
20	Timothy K. Shih, Anthony Y. Chang	Solving Temporal Constraint Networks with Qualitative Reasoning and Fuzzy Rules.	ICPP	1999	DBLP DOI BibTeX RDF
20	Helmut Simonis	Building Industrial Applications with Constraint Programming.	CCL	1999	DBLP BibTeX RDF
20	Tomás Brodský, Cornelia Fermüller, Yiannis Aloimonos	Beyond the Epipolar Constraint: Integrating 3D Motion and Structure Estimation.	SMILE	1998	DBLP DOI BibTeX RDF
20	Alexander Brodsky 0001, Yoram Kornatzky	The LyriC Language: Querying Constraint Objects.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF	SQL
20	Thom W. Frühwirth	Annotated Constraint Logic Programming Applied to Temporal Reasoning.	PLILP	1994	DBLP DOI BibTeX RDF
20	Kim Marriott, Peter J. Stuckey	The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.	POPL	1993	DBLP DOI BibTeX RDF
20	Lefteris M. Kirousis	Fast Parallel Constraint Satisfaction.	ICALP	1993	DBLP DOI BibTeX RDF
20	Gopalakrishnan Vijayan, Ren-Song Tsay	A new method for floor planning using topological constraint reduction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
20	James M. Conrad, Dennis R. Bahler, James Bowen	Static Parallel Arc Consistency in Constraint Satisfaction.	ISMIS	1991	DBLP DOI BibTeX RDF
20	Masayuki Numao	Update Propagation Network - A Framework for Constraint Programming.	LP	1987	DBLP DOI BibTeX RDF
20	Roman Barták, Ondrej Cepek	A Constraint Model for State Transitions in Disjunctive Resources.	CSCLP	2006	DBLP DOI BibTeX RDF	domain filtering, disjunctive resource, constraint, state transition
20	Moshe Y. Vardi	Constraints, Graphs, Algebra, Logic, and Complexity.	TAMC	2009	DBLP DOI BibTeX RDF
20	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
20	Alexander Brodsky 0001, Hadon Nash	CoJava: a unified language for simulation and optimization.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	simulation, optimization, constraints
20	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
20	Ninghui Li, John C. Mitchell	DATALOG with Constraints: A Foundation for Trust Management Languages.	PADL	2003	DBLP DOI BibTeX RDF
20	Yongmin Zhong, Wolfgang Müller-Wittig, Weiyin Ma	Incorporating Constraints into a Virtual Reality Environment for Intuitive and Precise Solid Modelling.	IV	2002	DBLP DOI BibTeX RDF
20	Christophe Ringeissen, Éric Monfroy	Generating Propagation Rules for Finite Domains: A Mixed Approach.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
20	Shang-Hong Lai, Baba C. Vemuri	Reliable and Efficient Computation of Optical Flow.	Int. J. Comput. Vis.	1998	DBLP DOI BibTeX RDF	optical flow computation, motion estimation, regularization, motion analysis
20	Ting-Chi Wang, Martin D. F. Wong, Yachyang Sun, Chak-Kuen Wong	Optimal net assignment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
20	Ruoming Jin, Hui Hong, Haixun Wang, Ning Ruan, Yang Xiang	Computing label-constraint reachability in graph databases.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	generalized transitive closure, hoeffding and bernstein bounds, label-constraint reachability, maximal directed spanning tree
20	Dániel Marx	Tractable hypergraph properties for constraint satisfaction and conjunctive queries.	STOC	2010	DBLP DOI BibTeX RDF	submodular width, constraint satisfaction, conjunctive queries, fixed-parameter tractability
20	Cheng-Wu Lin, Jai-Ming Lin, Chun-Po Huang, Soon-Jyh Chang	Performance-driven analog placement considering boundary constraint.	DAC	2010	DBLP DOI BibTeX RDF	analog placement, boundary constraint, symmetry
20	Neil Yorke-Smith, Carmen Gervet	Certainty closure: Reliable constraint reasoning with incomplete or erroneous data.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Incomplete and erroneous data, reliable solutions, uncertain constraint satisfaction problem, closure
20	Changshui Zhang, Feiping Nie 0001, Shiming Xiang, Chenping Hou	Soft Constraint Harmonic Energy Minimization for Transductive Learning and its Two Interpretations.	Neural Process. Lett.	2009	DBLP DOI BibTeX RDF	Soft label soft constraint, Classification, Random walks, Transductive learning, Label propagation
20	Ali Dasdan	Provably efficient algorithms for resolving temporal and spatial difference constraint violations.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	interface timing, layout compaction, scheduling, real-time systems, constraint satisfaction, timing constraints, Behavioral synthesis, multimedia synchronization, rate analysis
20	Antonio Garrido 0002, Marlene Arangú, Eva Onaindia	A constraint programming formulation for planning: from plan scheduling to plan generation.	J. Sched.	2009	DBLP DOI BibTeX RDF	Scheduling, Integration, Constraints, Planning, Constraint programming
20	Roman Barták, Daniel Toropila	Revisiting Constraint Models for Planning Problems.	ISMIS	2009	DBLP DOI BibTeX RDF	Planning, lifting, symmetry breaking, constraint models
20	Kirk Haller, Audrey Lee-St. John, Meera Sitharam, Ileana Streinu, Neil White	Body-and-cad geometric constraint systems.	SAC	2009	DBLP DOI BibTeX RDF	geometric constraint system, rigidity theory, computer aided design
20	Sebastian Brand	The sum-of-increments constraint in the consecutive-ones matrix decomposition problem.	SAC	2009	DBLP DOI BibTeX RDF	radiotherapy delivery, constraint propagation
20	Tian Yang, Zaifei Liao, Xinjie Lv, Hongan Wang	An approximate approach to constraint solving in soft sensing.	SAC	2009	DBLP DOI BibTeX RDF	approximation, granular computing, constraint solving, soft sensor, soft sensing
20	Md. Shafiul Alam, Scott D. Goodwin	Control of Constraint Weights for a 2D Autonomous Camera.	Canadian AI	2009	DBLP DOI BibTeX RDF	graphical environment, animation, virtual environment, computer game, constraint satisfaction, video game, camera control, virtual camera
20	Jie Liu 0008, Senlin Liang, Dan Ye 0004, Jun Wei 0001, Tao Huang 0001	ETL Workflow Analysis and Verification Using Backwards Constraint Propagation.	CAiSE	2009	DBLP DOI BibTeX RDF	Data Warehouse, Data Quality, Constraint Propagation, ETL, Workflow Analysis
20	Lei Wang, Yong Yang	Selective Ensemble Algorithms of Support Vector Machines Based on Constraint Projection.	ISNN (2)	2009	DBLP DOI BibTeX RDF	Constraint projection, Support vector machines, Selective ensemble
20	Peter Z. Revesz	A comparison of abstract data type and constraint database approaches to GIS query languages.	GIS	2009	DBLP DOI BibTeX RDF	query language, abstract data types, constraint databases
20	Sean A. Bittle, Mark S. Fox	Learning and using hyper-heuristics for variable and value ordering in constraint satisfaction problems.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	constrained heuristic search, variable and value ordering, constraint satisfaction, hyper-heuristics, soar
20	Akshat Kumar, Boi Faltings, Adrian Petcu	Distributed constraint optimization with structured resource constraints.	AAMAS (2)	2009	DBLP BibTeX RDF	power restoration, distributed constraint optimization
20	Ronan LeBras, Alessandro Zanarini, Gilles Pesant	Efficient Generic Search Heuristics within the EMBP Framework.	CP	2009	DBLP DOI BibTeX RDF	Constraint Satisfaction, Expectation Maximization, Probabilistic Reasoning, Belief Propagation, Search Heuristics
20	Levent V. Orman	Browsing databases with constraint hierarchies.	Electron. Commer. Res.	2008	DBLP DOI BibTeX RDF	Database browsing, Market search, Electronic markets, Data typing, Database application, Constraint hierarchies, Incremental search
20	Pedro Barahona, Ludwig Krippahl	Constraint Programming in Structural Bioinformatics.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Protein structure determination, Protein docking, Constraint programming, Structural bioinformatics
20	Martí Sánchez-Fibla, Simon de Givry, Thomas Schiex	Mendelian Error Detection in Complex Pedigrees Using Weighted Constraint Satisfaction Techniques.	Constraints An Int. J.	2008	DBLP DOI BibTeX RDF	Mendelian genotyping error detection, Complex pedigrees, Weighted constraint satisfaction, Genetics
20	Marjan van den Akker 0001, Han Hoogeveen	Minimizing the number of late jobs in a stochastic setting using a chance constraint.	J. Sched.	2008	DBLP DOI BibTeX RDF	Number of late jobs, Stochastic processing times, Minimum success probability, Chance constraint, Scheduling, Dynamic programming, NP-hardness, Sequencing, Single machine
20	Carl Christian Rolf, Krzysztof Kuchcinski	State-copying and Recomputation in Parallel Constraint Programming with Global Constraints.	PDP	2008	DBLP DOI BibTeX RDF	Models of Communication, Parallelism, Constraint Programming
20	Carlos Olarte, Frank D. Valencia	Universal concurrent constraint programing: symbolic semantics and applications to security.	SAC	2008	DBLP DOI BibTeX RDF	symbolic semantics, security, mobility, concurrent constraint programming
20	Catarina Carvalho, Víctor Dalmau, Andrei A. Krokhin	Caterpillar Duality for Constraint Satisfaction Problems.	LICS	2008	DBLP DOI BibTeX RDF	caterpillar structures, Datalog, duality, constraint satisfaction problem, homomorphism
20	Alexander Felfernig, Robin D. Burke	Constraint-based recommender systems: technologies and research issues.	ICEC	2008	DBLP DOI BibTeX RDF	constraint-based recommendation, recommender systems
20	Jun Miura, Hiroyuki Kubo	Tracking players in highly complex scenes in broadcast soccer video using a constraint satisfaction approach.	CIVR	2008	DBLP DOI BibTeX RDF	broadcast soccer video, player tracking, constraint satisfaction
20	Jincheng Mao, Wenyu Yang	Computing Contact Force and Deformation in the Heavy-Duty Gripping with Over-Constraint.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	workpiece-gripper system, heavy-duty manipulators, contact force, over-constraint
20	Huaqin Xu, Ying Jin 0001	BioRL: An XML-based Active Rule Language for Biological Database Constraint Management.	BMEI (1)	2008	DBLP DOI BibTeX RDF	Constraint management, XQuery, Biological database, Active rules
20	Ghizlane El-Boussaidi, Hafedh Mili	Detecting Patterns of Poor Design Solutions Using Constraint Propagation.	MoDELS	2008	DBLP DOI BibTeX RDF	Marking models, design patterns, transformations, constraint satisfaction problems
20	Changki Lee, Hyunki Kim, Myung-Gil Jang	Fixed-threshold SMO for Joint Constraint Learning Algorithm of Structural SVM.	SIGIR	2008	DBLP DOI BibTeX RDF	fixed-threshold SMO, joint constraint learning algorithm, structural SVM
20	Miad Faezipour, Mehrdad Nourani	Constraint Repetition Inspection for Regular Expression on FPGA.	Hot Interconnects	2008	DBLP DOI BibTeX RDF	Non-deterministic Finite Automata, Constraint Repetition Inspection, Regular Expression, Network Intrusion Detection System
20	Martin Grohe	The complexity of homomorphism and constraint satisfaction problems seen from the other side.	J. ACM	2007	DBLP DOI BibTeX RDF	Complexity, constraint satisfaction, conjunctive queries, homomorphisms, parameterized complexity
20	Stefan Ratschan, Zhikun She	Safety verification of hybrid systems by constraint propagation-based abstraction refinement.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Hybrid systems, constraint propagation, intervals
20	Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson	Design of Financial CDO Squared Transactions Using Constraint Programming.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming
20	Ricardo Landa Becerra, Carlos A. Coello Coello	Epsilon-constraint with an efficient cultured differential evolution.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	epsilon-constraint, multi-objective optimization, differential evolution, cultural algorithms
20	Haruhisa Nozue, Hajime Nakajima, Haruo Oishi, Takeshi Masuda, Tetsuya Yamamura	Process Control Technique Using Planning and Constraint Satisfaction.	APNOMS	2007	DBLP DOI BibTeX RDF	workflow, planning, constraint satisfaction, process control
20	Jordi Cabot, Robert Clarisó, Daniel Riera	UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.	ASE	2007	DBLP DOI BibTeX RDF	UML, MDD, constraint programming, OCL, model verification
20	Tomas Eric Nordlander, Eugene C. Freuder, Richard J. Wallace	Maintaining constraint-based applications.	K-CAP	2007	DBLP DOI BibTeX RDF	consistency algorithms, knowledge maintenance, knowledge acquisition, constraint programming
20	Bao Chau Le Dinh, Kiam Tian Seow	Unifying distributed constraint algorithms in a BDI negotiation framework.	AAMAS	2007	DBLP DOI BibTeX RDF	belief-desire-intention model, agent negotiation, distributed constraint satisfaction problem
20	Bao Chau Le Dinh, Kiam Tian Seow	Unifying distributed constraint algorithms in a BDI negotiation framework.	AAMAS	2007	DBLP DOI BibTeX RDF	belief-desire-intention model, agent negotiation, distributed constraint satisfaction problem
20	Laurent Granvilliers, Frédéric Benhamou	Algorithm 852: RealPaver: an interval solver using constraint satisfaction techniques.	ACM Trans. Math. Softw.	2006	DBLP DOI BibTeX RDF	interval Newton, constraint satisfaction, Interval arithmetic, nonlinear system, local consistency
20	Hong Mei 0001, Wei Zhang 0004, Haiyan Zhao	A metamodel for modeling system features and their refinement, constraint and interaction relationships.	Softw. Syst. Model.	2006	DBLP DOI BibTeX RDF	Relationships between features, Interaction, Constraint, Refinement, Customization, Feature model
20	Andrei A. Bulatov	A dichotomy theorem for constraint satisfaction problems on a 3-element set.	J. ACM	2006	DBLP DOI BibTeX RDF	dichotomy theorem, homomorphism problem, complexity, Constraint satisfaction problem
20	Patrick W. Yaner, Ashok K. Goel 0001	Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Analogical retrieval, Analogical mapping, Constraint satisfaction, Analogical reasoning, Visual reasoning
20	Markus Stumptner, Bruce H. Thomas	Constraint-based livespaces configuration management.	IUI	2006	DBLP DOI BibTeX RDF	liveSpaces, ubiquitous workspaces, constraint satisfaction, configuration
20	Reyes Pavón 0001, Fernando Díaz 0001, María Victoria Luzón	An adjustment model in a geometric constraint solving problem.	SAC	2006	DBLP DOI BibTeX RDF	constructive geometric constraint solving, setting parameters, genetic algorithms, bayesian networks
20	Tony Lambert, Carlos Castro 0001, Éric Monfroy, Frédéric Saubion	Solving the Balanced Academic Curriculum Problem with an Hybridization of Genetic Algorithm and Constraint Propagation.	ICAISC	2006	DBLP DOI BibTeX RDF	hybrid resolution, genetic algorithms, CSP, constraint propagation
20	Engin Tola, A. Aydin Alatan	Fast Outlier Rejection by Using Parallax-Based Rigidity Constraint for Epipolar Geometry Estimation.	MRCS	2006	DBLP DOI BibTeX RDF	Outlier removal, Parallax-based rigidity constraint, RANSAC
20	Jung-Ryun Lee	Energy Efficient Sleep Interval Decision Method Considering Delay Constraint for VoIP Traffic.	NEW2AN	2006	DBLP DOI BibTeX RDF	sleep interval, energy efficiency, delay constraint, Power saving mode
20	Javier Álvez, Paqui Lucio	Equational Constraint Solving Via a Restricted Form of Universal Quantification.	FoIKS	2006	DBLP DOI BibTeX RDF	constraint satisfaction, equality, solver, answer, term algebra
20	John Davin, Pragnesh Jay Modi	Hierarchical variable ordering for distributed constraint optimization.	AAMAS	2006	DBLP DOI BibTeX RDF	distributed constraint satisfaction/optimization
20	Meinolf Sellmann	The Theory of Grammar Constraints.	CP	2006	DBLP DOI BibTeX RDF	regular grammar constraints, context-free grammar constraints, constraint filtering, global constraints
20	Menq-Wen Lin, K. Robert Lai, Ting-Jung Yu	Fuzzy Constraint-Based Agent Negotiation.	J. Comput. Sci. Technol.	2005	DBLP DOI BibTeX RDF	distributed fuzzy constraint satisfaction problem, agent negotiation, fuzzy constraints
20	Brygg Ullmer, Hiroshi Ishii 0001, Robert J. K. Jacob	Token+constraint systems for tangible interaction with digital information.	ACM Trans. Comput. Hum. Interact.	2005	DBLP DOI BibTeX RDF	token+constraint interfaces, Tangible interfaces
20	Jaakko Järvi, Jeremiah Willcock, Andrew Lumsdaine	Associated types and constraint propagation for mainstream object-oriented generics.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, Java, generics, types, generic programming, associated, constraint propagation, C#, C#
20	Frédéric Goualard	On considering an interval constraint solving algorithm as a free-steering nonlinear Gauss-Seidel procedure.	SAC	2005	DBLP DOI BibTeX RDF	branch-and-prune method, constraint, nonlinear system
20	Roger Mailler	Comparing two approaches to dynamic, distributed constraint satisfaction.	AAMAS	2005	DBLP DOI BibTeX RDF	cooperative mediation, dynamic partial centralization, dynamic, distributed constraint satisfaction
20	Alan Holland, Barry O'Sullivan	Towards Fast Vickrey Pricing using Constraint Programming.	Artif. Intell. Rev.	2004	DBLP DOI BibTeX RDF	Vickrey pricing, Constraint programming, Combinatorial auctions
20	Inali Wisniewski Soares, Silvia Regina Vergilio	Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing.	J. Electron. Test.	2004	DBLP DOI BibTeX RDF	structural testing criteria, constraint-based testing, mutation testing
20	François Fages, Sylvain Soliman, Rémi Coolen	CLPGUI: A Generic Graphical User Interface for Constraint Logic Programming.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	program annotation, visualization, GUI, debugging, constraint programming, search trees
20	Antonio J. Fernández 0001, Patricia M. Hill	An interval constraint system for lattice domains.	ACM Trans. Program. Lang. Syst.	2004	DBLP DOI BibTeX RDF	Constraint, indexicals, cooperation, lattice, propagation
20	Yonggang Zhang, Jigui Sun	Extended Constraint Handling for CP-Networks.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	CP-networks, reasoning, preference, constraint hierarchy
20	Ilié Popescu	Using Finite Domains in Constraint Satisfaction Problem.	Intelligent Information Processing	2004	DBLP DOI BibTeX RDF	consistency, Constraint satisfaction problem, search space
20	F. T. Chan, K. P. Chan, Tsong Yueh Chen, Siu-Ming Yiu	Adaptive Random Testing with CG Constraint.	COMPSAC Workshops	2004	DBLP DOI BibTeX RDF	Center of Gravity constraint, Random Testing, Adaptive Random Testing