Search results for "Constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
22	Martin Müller, Susumu Nishimura	Type Inference for First-Class Messages with Feature Constraints.	ASIAN	1998	DBLP DOI BibTeX RDF	first-class messages, feature constraints, complexity, object-oriented programming, constraint-based type inference
22	Tomás Werner	Revisiting the Linear Programming Relaxation Approach to Gibbs Energy Minimization and Weighted Constraint Satisfaction.	IEEE Trans. Pattern Anal. Mach. Intell.	2010	DBLP DOI BibTeX RDF	Weighted constraint satisfaction, marginal polytope, cut polytope, tree-reweighted max-product, Markov random field, graphical model, global constraint, linear programming relaxation, Gibbs distribution, cutting-plane algorithm, supermodularity
22	Irit Katriel, Sven Thiel	Complete Bound Consistency for the Global Cardinality Constraint.	Constraints An Int. J.	2005	DBLP DOI BibTeX RDF	global cardinality constraint, matching, graph algorithms, flow, constraint propagation, global constraints, arc consistency, filtering algorithms, bound consistency
22	Ali Dasdan	Efficient algorithms for debugging timing constraint violations.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	over-constraint resolution, scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis
22	Éric Monfroy, Jean-Hugues Réty	Chaotic Iteration for Distributed Constraint Propagation.	SAC	1999	DBLP DOI BibTeX RDF	chaotic iteration, distributed constraint propagation, distributed constraint satisfaction problem
22	Srinivasan Raghunathan	A Planning Aid: An Intelligent Modeling System for Planning Problems Based on Constraint Satisfaction.	IEEE Trans. Knowl. Data Eng.	1992	DBLP DOI BibTeX RDF	planning aid, intelligent modeling system, planning problems, manufacturing planning, qualitative relationships, mathematical relationships, manufacturing computer control, artificial intelligence, artificial intelligence, knowledge-based system, knowledge based systems, constraint satisfaction, mathematical models, operations research, operations research, constraint theory, manufacturing data processing, symbolic models, domain specific knowledge, truth maintenance system
22	Susan Darling Urban, Lois M. L. Delcambre	Constraint Analysis: A Design Process for Specifying Operations on Objects.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	object-oriented database design environment, object-oriented database schema, flexible specification, propagation actions, constraint violations, explicit schema constraints, automatic identification, formal specification, semantics, object-oriented programming, object-oriented databases, design process, design process, formal logic, object manipulation, design alternatives, constraint analysis, Horn logic, formal representation, database constraints
21	Luc Jaulin	Consistency Techniques for the Localization of a Satellite.	COCOS	2002	DBLP DOI BibTeX RDF
21	Le Thi Hoai An	D.C. Programming for Solving a Class of Global Optimization Problems via Reformulation by Exact Penalty.	COCOS	2002	DBLP DOI BibTeX RDF	polyhedral d.c. programming, combined DCA, exact penalty, branch and bound algorithm, DCA, reformulations, d.c. programming
21	El-Sayed M. E. Mostafa, Luís Nunes Vicente, Stephen J. Wright 0001	Numerical Behavior of a Stabilized SQP Method for Degenerate NLP Problems.	COCOS	2002	DBLP DOI BibTeX RDF	identification of active constraints, infeasibility, nonlinear programming, degeneracy, successive quadratic programming
21	Armagan Tarim, Ian Miguel	A Hybrid Benders' Decomposition Method for Solving Stochastic Constraint Programs with Linear Recourse.	CSCLP	2005	DBLP DOI BibTeX RDF
21	András Kovács, József Váncza	Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling.	CP	2004	DBLP DOI BibTeX RDF
21	Brahim Hnich, Steven D. Prestwich, Evgeny Selensky	Constraint-Based Approaches to the Covering Test Problem.	CSCLP	2004	DBLP DOI BibTeX RDF
21	Yaling Zheng, Berthe Y. Choueiry	New Structural Decomposition Techniques for Constraint Satisfaction Problems.	CSCLP	2004	DBLP DOI BibTeX RDF
21	Hongwei Guo 0002, Rongqiang Liu, Zongquan Deng	Preliminary Design Method Study for the Space Deployable Articulated Mast.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	space deployable articulated mast, work theory, frequency constraint, root moment constraint, performance parameter
21	Jian Pei, Jiawei Han 0001, Laks V. S. Lakshmanan	Pushing Convertible Constraints in Frequent Itemset Mining.	Data Min. Knowl. Discov.	2004	DBLP DOI BibTeX RDF	convertible constraint, algorithm, constraint, pruning, frequent itemset mining
21	Elisa Bertino, Ahmed K. Elmagarmid, Mohand-Said Hacid	A Database Approach to Quality of Service Specification in Video Databases.	SIGMOD Rec.	2003	DBLP DOI BibTeX RDF	QoS Mapping, constraint-based query languages, quality of service, constraint satisfaction, video databases, multimedia presentations, QoS Parameters, QoS Specification
21	Gaihua Fu, Jianhua Shao 0001, Suzanne M. Embury, W. A. Gray	An Algorithm for Determining Related Constraints.	BNCOD	2002	DBLP DOI BibTeX RDF	Constraint Business Rule, Reverse Engineering, Constraint Analysis
21	Carlos Henrique Quartucci Forster, Clésio L. Tozzi	An Architecture Based on Constraints for Augmented Shared Workspaces.	SIBGRAPI	2001	DBLP DOI BibTeX RDF	agent theory, Augmented reality, CSCW, constraint logic programming, shared workspaces, multimedia document, constraint systems
21	Fuji Ren	Dialogue Machine Translation System Using Multiple Translation Processors.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	dialogue machine translation system, multiple translation processors, natural dialogues, irregular expressions, natural conversation, ill-formed sentences, dialogue machine translation, MTP, translation processors, original language analysis, target language generation processing, Robust Parser based Translation Processor, Example Based Translation Processor, Family Modal based Translation Processor, Super Function based Translation Processor, information analysis model, syntactic constraint analysis model, semantic constraint analysis model, robust dialogue translation, language translation
21	Ryszard Kowalczyk, Van Bui	On Fuzzy E-Negotiation Agents: Autonomous Negotiation with Incomplete and Imprecise Information.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	Fuzzy e-Negotiation Agents, autonomous negotiation, autonomous multi-issue negotiation, limited common knowledge, imprecise/soft constraints, FeNAs, fuzzy constraint based reasoning, fuzzy constraint satisfaction, document translation services, multi-issue integrative negotiation, Internet based systems, e-commerce, negotiation support systems, utility theory, imprecise information
21	Daeyoung Kim 0001, Yann-Hang Lee	DC2 scheduling for aperiodic tasks in strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	DC/sup 2/ scheduling, aperiodic task scheduling, strongly partitioned real time systems, SP-RTS, integrated real time applications, two-level hierarchical scheduling mechanism, multiple partitions, multiple periodic tasks, fixed priority algorithm, Distance Constraint guaranteed Dynamic Cyclic scheduler, distance-constrained cyclic schedule, distance constraint characteristics, partition cyclic schedule, slack time calculation, dynamic operations, hard aperiodic tasks, DC/sup 2/, soft aperiodic tasks, acceptance rate, scheduling, real-time systems, computational complexity, online scheduling, cyclic scheduling, spatial partitioning, partition scheduling, dynamic applications
21	Thierry Petit, Jean-Charles Régin, Christian Bessière	Meta-constraints on violations for over constrained problems.	ICTAI	2000	DBLP DOI BibTeX RDF	meta constraints, over constrained problems, Max-CSP, real-life problems, constraint programming, constraint handling, communicating sequential processes, real-world problems
21	Shunsuke Yura, Toshihiro Motoda, Shuichiro Yamamoto	Specification of Constraints in Business Flow.	EDOC	2000	DBLP DOI BibTeX RDF	business flow, alternative flows, cancel flows, exceptional conditions, transactional constraint rules, current workflow systems, travel reservation, information resources, constraint specification
21	Ioannis Fudos, Christoph M. Hoffmann	A Graph-Constructive Approach to Solving Systems of Geometric Constraints.	ACM Trans. Graph.	1997	DBLP DOI BibTeX RDF	graph-based constraint solvers, underconstrained systems, complexity, constraint solving, geometric constraints
21	H. Bekker, E. J. Dijkstra	Delay-Insensitive Synchronization on a Message-Passing Architecture with an Open Collector Bus.	PDP	1996	DBLP DOI BibTeX RDF	delay-insensitive synchronization, open collector bus, high latency, constraint algorithm, SHAKE, Constraint Molecular Dynamics simulation, ring architecture, delay insensitive algorithm, performance evaluation, performance, parallel algorithms, parallel algorithms, parallel architectures, message passing, multiprocessor interconnection networks, multiprocessor interconnection networks, synchronisation, digital simulation, physics computing, system buses, communication time, message passing architecture
21	Jacob Feldman, Eugene C. Freuder, James Little 0002	CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications.	CPAIOR	2009	DBLP DOI BibTeX RDF
21	David A. Cohen, Martin James Green, Chris Houghton	Constraint Representations and Structural Tractability.	CP	2009	DBLP DOI BibTeX RDF
21	Helmut Simonis	A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem.	CP	2009	DBLP DOI BibTeX RDF
21	Magnus Ågren 0002	Memoisation for Constraint-Based Local Search.	CP	2009	DBLP DOI BibTeX RDF
21	Alan M. Frisch, Peter J. Stuckey	The Proper Treatment of Undefinedness in Constraint Languages.	CP	2009	DBLP DOI BibTeX RDF
21	Jean-Paul Watson, J. Christopher Beck	A Hybrid Constraint Programming / Local Search Approach to the Job-Shop Scheduling Problem.	CPAIOR	2008	DBLP DOI BibTeX RDF
21	Pascal Van Hentenryck	30 Years of Constraint Programming.	CPAIOR	2008	DBLP DOI BibTeX RDF
21	Hélène Collavizza, Michel Rueher	Exploring Different Constraint-Based Modelings for Program Verification.	CP	2007	DBLP DOI BibTeX RDF
21	Nicolas Beldiceanu, Mats Carlsson, Emmanuel Poder, R. Sadek, Charlotte Truchet	A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects.	CP	2007	DBLP DOI BibTeX RDF
21	Barbara M. Smith, Stefano Bistarelli, Barry O'Sullivan	Constraint Symmetry for the Soft CSP.	CP	2007	DBLP DOI BibTeX RDF
21	Marko Samer, Stefan Szeider	Constraint Satisfaction with Bounded Treewidth Revisited.	CP	2006	DBLP DOI BibTeX RDF
21	Willem Jan van Hoeve, Gilles Pesant, Louis-Martin Rousseau, Ashish Sabharwal	Revisiting the Sequence Constraint.	CP	2006	DBLP DOI BibTeX RDF
21	Fabrizio Grandoni 0001, Giuseppe F. Italiano	Algorithms and Constraint Programming.	CP	2006	DBLP DOI BibTeX RDF
21	Igor Razgon, Barry O'Sullivan	Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems.	CSCLP	2006	DBLP DOI BibTeX RDF
21	Hadrien Cambazard, Narendra Jussien	Identifying and Exploiting Problem Structures Using Explanation-Based Constraint Programming.	CPAIOR	2005	DBLP DOI BibTeX RDF
21	Chris Houghton, David A. Cohen	Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems.	CP	2005	DBLP DOI BibTeX RDF
21	Christian Schulte 0001, Guido Tack	Views and Iterators for Generic Constraint Implementations.	CP	2005	DBLP DOI BibTeX RDF
21	Claude-Guy Quimper, Toby Walsh	The All Different and Global Cardinality Constraints on Set, Multiset and Tuple Variables.	CSCLP	2005	DBLP DOI BibTeX RDF
21	Pavel Surynek, Roman Barták	A New Algorithm for Maintaining Arc Consistency After Constraint Retraction.	CP	2004	DBLP DOI BibTeX RDF
21	Keith Golden, Wanlin Pang	A Constraint-Based Planner Applied to Data Processing Domains.	CP	2004	DBLP DOI BibTeX RDF
21	Andrew Bachmann, Tania Bedrax-Weiss, Jeremy Frank, Michael Iatauro, Conor McGann, Will Taylor	PLASMA: A Constraint Based Planning Architecture.	CP	2004	DBLP DOI BibTeX RDF
21	Christian Schulte 0001, Peter J. Stuckey	Speeding Up Constraint Propagation.	CP	2004	DBLP DOI BibTeX RDF
21	Albert Atserias, Phokion G. Kolaitis, Moshe Y. Vardi	Constraint Propagation as a Proof System.	CP	2004	DBLP DOI BibTeX RDF
21	Nikos Mamoulis, Kostas Stergiou 0001	Constraint Satisfaction in Semi-structured Data Graphs.	CP	2004	DBLP DOI BibTeX RDF
21	Cyril Terrioux, Philippe Jégou	Bounded Backtracking for the Valued Constraint Satisfaction Problems.	CP	2003	DBLP DOI BibTeX RDF
21	Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.	CP	2003	DBLP DOI BibTeX RDF
21	Neil Yorke-Smith, Carmen Gervet	Certainty Closure: A Framework for Reliable Constraint Reasoning with Uncertainty.	CP	2003	DBLP DOI BibTeX RDF
21	Remi Coletta, Christian Bessière, Barry O'Sullivan, Eugene C. Freuder, Sarah O'Connell, Joël Quinqueton	Semi-automatic Modeling by Constraint Acquisition.	CP	2003	DBLP DOI BibTeX RDF
21	James Little 0002, Cormac Gebruers, Derek G. Bridge, Eugene C. Freuder	Using Case-Based Reasoning to Write Constraint Programs.	CP	2003	DBLP DOI BibTeX RDF
21	Hubie Chen	Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms.	CP	2003	DBLP DOI BibTeX RDF
21	Martin James Green, David A. Cohen	Tractability by Approximating Constraint Languages.	CP	2003	DBLP DOI BibTeX RDF
21	Boi Faltings, Santiago Macho-Gonzalez	Open Constraint Optimization.	CP	2003	DBLP DOI BibTeX RDF
21	Ludovic Langevine, Pierre Deransart, Mireille Ducassé	A Generic Trace Schema for the Portability of CP(FD) Debugging Tools.	CSCLP	2003	DBLP DOI BibTeX RDF
21	Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski	Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems.	JELIA	2002	DBLP DOI BibTeX RDF
21	Nicolas Beldiceanu, Mats Carlsson	A New Multi-resource cumulatives Constraint with Negative Heights.	CP	2002	DBLP DOI BibTeX RDF
21	Víctor Dalmau, Phokion G. Kolaitis, Moshe Y. Vardi	Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics.	CP	2002	DBLP DOI BibTeX RDF
21	Alexander Bockmayr, Nicolai Pisaruk, Abderrahmane Aggoun	Network Flow Problems in Constraint Programming.	CP	2001	DBLP DOI BibTeX RDF
21	Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar 0001	A Constraint Directed Model for Partial Constraint Satisfaction Problems.	AI	2000	DBLP DOI BibTeX RDF
21	Christophe Jermann, Gilles Trombettoni, Bertrand Neveu, Michel Rueher	A Constraint Programming Approach for Solving Rigid Geometric Systems.	CP	2000	DBLP DOI BibTeX RDF
21	Laurent Granvilliers, Éric Monfroy	Constraint Propagation: Between Abstract Models and ad hoc Strategies.	CP	2000	DBLP DOI BibTeX RDF
21	Hiroshi Hosobe	A Scalable Linear Constraint Solver for User Interface Construction.	CP	2000	DBLP DOI BibTeX RDF
21	R. W. L. Kam, Jimmy Ho-Man Lee	Fuzzifying the Constraint Hierarchies Framework.	CP	1998	DBLP DOI BibTeX RDF
21	Paul Shaw	Using Constraint Programming and Local Search Methods to Solve Vehicle Routing Problems.	CP	1998	DBLP DOI BibTeX RDF
21	Rolf Backofen	Constraint Techniques for Solving the Protein Structure Prediction Problem.	CP	1998	DBLP DOI BibTeX RDF
21	Kim Marriott, Sitt Chen Chok, Alan Finlay	A Tableau Based Constraint Solving Toolkit for Interactive Graphical Applications.	CP	1998	DBLP DOI BibTeX RDF
20	Magnus Ågren 0002, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli	Six Ways of Integrating Symmetries within Non-overlapping Constraints.	CPAIOR	2009	DBLP DOI BibTeX RDF
20	Michael J. Maher	Open Constraints in a Boundable World.	CPAIOR	2009	DBLP DOI BibTeX RDF
20	Brahim Hnich, Roberto Rossi 0002, S. Armagan Tarim, Steven D. Prestwich	Synthesizing Filtering Algorithms for Global Chance-Constraints.	CP	2009	DBLP DOI BibTeX RDF
20	Christian Schulte 0001, Guido Tack	Weakly Monotonic Propagators.	CP	2009	DBLP DOI BibTeX RDF
20	Sumit Gulwani, Ashish Tiwari 0001	Constraint-Based Approach for Analysis of Hybrid Systems.	CAV	2008	DBLP DOI BibTeX RDF
20	Phokion G. Kolaitis, Moshe Y. Vardi	A Logical Approach to Constraint Satisfaction.	Complexity of Constraints	2008	DBLP DOI BibTeX RDF
20	Satoshi Satoh, Kenji Fujimoto, Sang-Ho Hyon	A framework for optimal gait generation via learning optimal control using virtual constraint.	IROS	2008	DBLP DOI BibTeX RDF
20	Christophe Jermann, Hiroshi Hosobe	A constraint hierarchies approach to geometric constraints on sketches.	SAC	2008	DBLP DOI BibTeX RDF
20	Mohammad Izadi, Marcello M. Bonsangue	Recasting Constraint Automata into Büchi Automata.	ICTAC	2008	DBLP DOI BibTeX RDF
20	Khalil Djelloul	A Full First-Order Constraint Solver for Decomposable Theories.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
20	Kenil C. K. Cheng, Roland H. C. Yap	Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints.	CP	2008	DBLP DOI BibTeX RDF
20	Slim Abdennadher, Ingi Sobhi	Generation of Rule-Based Constraint Solvers: Combined Approach.	LOPSTR	2007	DBLP DOI BibTeX RDF
20	Ian P. Gent, Ian Miguel, Andrea Rendl	Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion.	SARA	2007	DBLP DOI BibTeX RDF
20	Kenneth M. Bayer, Martin Michalowski, Berthe Y. Choueiry, Craig A. Knoblock	Reformulating CSPs for Scalability with Application to Geospatial Reasoning.	CP	2007	DBLP DOI BibTeX RDF
20	George Katsirelos, Toby Walsh	A Compression Algorithm for Large Arity Extensional Constraints.	CP	2007	DBLP DOI BibTeX RDF
20	Claude-Guy Quimper, Toby Walsh	Decomposing Global Grammar Constraints.	CP	2007	DBLP DOI BibTeX RDF
20	Navin Kashyap, Paul H. Siegel, Alexander Vardy	Coding for the optical channel: the ghost-pulse constraint.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
20	Peter Hawkins, Peter J. Stuckey	A Hybrid BDD and SAT Finite Domain Constraint Solver.	PADL	2006	DBLP DOI BibTeX RDF
20	Chi Zhu 0001, Atsuo Kawamura	What Is the Real Frictional Constraint in Biped Walking? - Discussion on Frictional Slip with Rotation.	IROS	2006	DBLP DOI BibTeX RDF
20	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny	Type Processing by Constraint Reasoning.	APLAS	2006	DBLP DOI BibTeX RDF
20	Xiaoping Liu 0003, Hui Shi, Zhengqiang Mao, Qiang Lu	Constraint Information Visualization Methodology for Cooperative Design.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
20	Ayse Karaman	Constraint-Based Routing in Traffic Engineering.	ISCN	2006	DBLP DOI BibTeX RDF
20	Nicolas Beldiceanu, Irit Katriel, Xavier Lorca	Undirected Forest Constraints.	CPAIOR	2006	DBLP DOI BibTeX RDF
20	Claude-Guy Quimper, Toby Walsh	Global Grammar Constraints.	CP	2006	DBLP DOI BibTeX RDF
20	Chaochang Chiu, Pei-Lun Hsu	A constraint-based genetic algorithm approach for mining classification rules.	IEEE Trans. Syst. Man Cybern. Part C	2005	DBLP DOI BibTeX RDF
20	Cheng-Ru Lin, Ken-Hao Liu, Ming-Syan Chen	Dual Clustering: Integrating Data Clustering over Optimization and Constraint Domains.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	dual clustering, Data mining, data clustering
20	María Teresa Gómez-López, Rafael M. Gasca, Carmelo Del Valle, Fernando de la Rosa Troyano	Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis.	DEXA	2005	DBLP DOI BibTeX RDF
20	Barry O'Sullivan, Alex Ferguson, Eugene C. Freuder	Boosting Constraint Satisfaction Using Decision Trees.	ICTAI	2004	DBLP DOI BibTeX RDF
20	Stefano Bistarelli, Eugene C. Freuder, Barry O'Sullivan	Encoding Partial Constraint Satisfaction in the Semiring-Based Framework for Soft Constraints.	ICTAI	2004	DBLP DOI BibTeX RDF