Search results for "Constraints"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Krzysztof R. Apt	Some Remarks on Boolean Constraint Propagation.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
17	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
17	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
17	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
17	Nam Nguyen 0001, Rich Caruana	Improving Classification with Pairwise Constraints: A Margin-Based Approach.	ECML/PKDD (2)	2008	DBLP DOI BibTeX RDF	margin-based learning, classification, pairwise constraints
17	Khalil Djelloul	Combination of decomposability and propagation for solving first-order constraints in decomposable theories.	SAC	2008	DBLP DOI BibTeX RDF	complete theory, first-order constraint satisfaction problems, first-order constraint solvers, first-order constraints, rewriting rules
17	Thomas Douillard, Christophe Jermann	Splitting heuristics for disjunctive numerical constraints.	SAC	2008	DBLP DOI BibTeX RDF	splitting heuristics, numerical constraints, disjunctions
17	Carlo Combi, Sara Degani, Christian S. Jensen	Capturing Temporal Constraints in Temporal ER Models.	ER	2008	DBLP DOI BibTeX RDF	Conceptual modeling, temporal databases, database design, entity-relationship models, temporal constraints, temporal data models
17	Hamidah Ibrahim, Zarina Dzolkhifli, Praveen Madiraju	A Model for Checking the Integrity Constraints of Mobile Databases.	OTM Workshops	2008	DBLP DOI BibTeX RDF	integrity constraints, Mobile databases, constraint checking
17	Suguru Kawashimo, Yen Kaow Ng, Hirotaka Ono 0001, Kunihiko Sadakane, Masafumi Yamashita	Speeding Up Local-Search Type Algorithms for Designing DNA Sequences under Thermodynamical Constraints.	DNA	2008	DBLP DOI BibTeX RDF	Statistical Thermodynamical Constraints, Local Search, DNA Sequence Design
17	Latif Salum, Aliye Ayca Supciller	Rule-Based Modeling of Assembly Constraints for Line Balancing.	ICIC (2)	2008	DBLP DOI BibTeX RDF	Assembly line balancing, Rule-based representation, Precedence constraints
17	Wei Zhang 0004, Hua Yan, Haiyan Zhao, Zhi Jin	A BDD-Based Approach to Verifying Clone-Enabled Feature Models' Constraints and Customization.	ICSR	2008	DBLP DOI BibTeX RDF	Clonable features, Verification, Constraints, Customization, Feature models
17	Pedro Nogueira Ramos	Contrary-to-Duties Constraints: From UML to Relational Model.	MoDELS	2008	DBLP DOI BibTeX RDF	Contrary-To-Duties, Deontic Constraints, UML, Relational Model
17	Alessio Montone, Marco D. Santambrogio, Donatella Sciuto	A Design Workflow for the Identification of Area Constraints in Dynamic Reconfigurable Systems.	DELTA	2008	DBLP DOI BibTeX RDF	Area Constraints, Dynamic Reconfigurable System
17	Guoliang Xue, Arunabha Sen, Weiyi Zhang 0001, Jian Tang 0008, Krishnaiyan Thulasiraman	Finding a path subject to many additive QoS constraints.	IEEE/ACM Trans. Netw.	2007	DBLP DOI BibTeX RDF	efficient approximation algorithms, multiple additive constraints, QoS routing
17	Ilia Polian, Hideo Fujiwara	Functional Constraints vs. Test Compression in Scan-Based Delay Testing.	J. Electron. Test.	2007	DBLP DOI BibTeX RDF	Overtesting prevention, Scan-based delay test, Test compression, Functional constraints
17	Francisco Javier López-Fraguas, Mario Rodríguez-Artalejo, Rafael del Vado Vírseda	A new generic scheme for functional logic programming with constraints.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Logic programming, Constraints, Functional programming
17	Guangming Xing, Zhonghang Xia, Douglas Ayers	X2R: a system for managing XML documents and key constraints using RDBMS.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF	XML DBMS, key constraints, structural index, XML, data management, XML query
17	Mark Crowley 0001, Brent Boerlage, David Poole 0001	Adding Local Constraints to Bayesian Networks.	Canadian AI	2007	DBLP DOI BibTeX RDF	chain graphs, complementary priors, Bayesian networks, constraints, graphical models, mixed networks, Bayesian modelling
17	Fubao Zhu, Jihong Guan, Shuigeng Zhou	Constraints-preserving GML storage in object-relational databases.	GIS	2007	DBLP DOI BibTeX RDF	semantics, constraints, storage, object-relational database, GML
17	Xiaoli Ren, Lu Liu, Chenggong Lv	An Object-Dependent and Context Constraints-Aware Access Control Approach Based on RBAC.	CONFENIS (2)	2007	DBLP DOI BibTeX RDF	Context constraints, Role-based access control, Security policy, SoD, Object-dependent
17	Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi	Interaction testing of highly-configurable systems in the presence of constraints.	ISSTA	2007	DBLP DOI BibTeX RDF	constraints, SAT, covering arrays, combinatorial interaction testing
17	Xueping Zhang, Jiayao Wang, Zhongshan Fan, Bin Li	Spatial Clustering with Obstacles Constraints Using Ant Colony and Particle Swarm Optimization.	PAKDD Workshops	2007	DBLP DOI BibTeX RDF	K-Medoids Algorithm, Particle Swarm Optimization, Ant Colony Optimization, Spatial Clustering, Obstacles Constraints
17	Roman Barták	Generating Implied Boolean Constraints Via Singleton Consistency.	SARA	2007	DBLP DOI BibTeX RDF	implied constraints, singleton consistency, SAT, reformulation
17	Bernard Roy, Roman Slowinski	Multi-criteria assignment problem with incompatibility and capacity constraints.	Ann. Oper. Res.	2006	DBLP DOI BibTeX RDF	Multi-criteria combinatorial optimization, Incompatibility constraints, Blocking configuration, Actions of unblocking, Non-dominated assignments, Assignment problem, Interactive exploration
17	Klaus Jansen, Hu Zhang 0004	An approximation algorithm for scheduling malleable tasks under general precedence constraints.	ACM Trans. Algorithms	2006	DBLP DOI BibTeX RDF	malleable tasks, scheduling, Approximation algorithms, precedence constraints
17	Nicolas Bruno, Surajit Chaudhuri, Dilys Thomas	Generating Queries with Cardinality Constraints for DBMS Testing.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Query generation, database testing, cardinality constraints
17	Robert Benkoczi, Hossam S. Hassanein, Selim G. Akl, Sylvia Tai	Data relaying with constraints in hierarchical sensor networks.	J. Comb. Optim.	2006	DBLP DOI BibTeX RDF	Hierarchical sensor networks, Data relaying, Wireless sensor networks, Constraints
17	Ilia Polian, Hideo Fujiwara	Functional constraints vs. test compression in scan-based delay testing.	DATE	2006	DBLP DOI BibTeX RDF	overtesting prevention, scan-based delay test, test compression, functional constraints
17	Tomás Horváth, Peter Vojtás	Ordinal Classification with Monotonicity Constraints.	ICDM	2006	DBLP DOI BibTeX RDF	monotonicity constraints, ordinal data, classification, Monotone
17	Christof Lutteroth, Gerald Weber	User interface layout with ordinal and linear constraints.	AUIC	2006	DBLP BibTeX RDF	2D layout, formal constraints, user interface design, tables
17	Dominique Michelucci, Sebti Foufou, Loïc Lamarque, Pascal Schreck	Geometric constraints solving: some tracks.	Symposium on Solid and Physical Modeling	2006	DBLP DOI BibTeX RDF	bernstein base, incidence constraint, randomized prover, rigidity theory, witness configuration, decomposition, projective geometry, geometric constraints solving
17	Sana Sellami, Aïcha-Nabila Benharkat, Rami Rifaieh, Youssef Amghar	Extension of Schema Matching Platform ASMADE to Constraints and Mapping Expression.	SITIS	2006	DBLP DOI BibTeX RDF	Mapping Expression Model, Integration, Constraints, XML schemas, Schema Mapping, Schema Matching
17	John Augustine, Sudarshan Banerjee, Sandy Irani	Strip packing with precedence constraints and strip packing with release times.	SPAA	2006	DBLP DOI BibTeX RDF	scheduling, reconfigurable architectures, precedence constraints, release times, strip packing
17	Gui-Hua Lin, Masao Fukushima	A Modified Relaxation Scheme for Mathematical Programs with Complementarity Constraints.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	mathematical program with complementarity constraints, (MPEC-)linear independence constraint qualification, (B-, M-, C-)stationarity, weak second-order necessary conditions, upper level strict complementarity, nondegeneracy
17	Hiroshi Hosobe	Solving linear and one-way constraints for web document layout.	SAC	2005	DBLP DOI BibTeX RDF	cassowary, constraints, web browsers, simplex method, document layout
17	Carole Durocher, Franck Multon, Richard Kulpa	Dynamic Control of Captured Motions to Verify New Constraints.	Gesture Workshop	2005	DBLP DOI BibTeX RDF	take-off, optimization, constraints, dynamic control
17	Carson Kai-Sang Leung, Wookey Lee	Exploitation of Referential Integrity Constraints for Efficient Update of Data Warehouse Views.	BNCOD	2005	DBLP DOI BibTeX RDF	referential integrity constraints, Data warehousing, view maintenance, star schema, self-maintainability
17	Noritaka Osawa	Application of Jigsaw-Puzzle-Like 3D Glyph to Visualizing Grammatical Constraints.	VL/HCC	2005	DBLP DOI BibTeX RDF	inclusive match, grammatical constraints, jigsaw puzzle, polymorphism, 3D visualization
17	Aloysius K. Mok, Prabhudev Konana, Guangtian Liu, Chan-Gun Lee, Honguk Woo	Specifying Timing Constraints and Composite Events: An Application in the Design of Electronic Brokerages.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	electronic brokerages, event specification, timing constraints, Active databases, real-time databases
17	Subhasish Mazumdar, Panos K. Chrysanthis	Localization of Integrity Constraints in Mobile Databases and Specification in PRO-MOTION.	Mob. Networks Appl.	2004	DBLP DOI BibTeX RDF	caching and replication, transaction processing, integrity constraints, mobile databases, data consistency, disconnected operations
17	Stephen J. Roberts, Rizwan Choudrey	Bayesian Independent Component Analysis with Prior Constraints: An Application in Biosignal Analysis.	Deterministic and Statistical Methods in Machine Learning	2004	DBLP DOI BibTeX RDF	biosignal analysis, prior constraints, Independent component analysis, variational Bayes
17	Michael Cho-Hoi Chek, Yu-Kwong Kwok	On Adaptive Frequency Hopping to Combat On Adaptive Frequency Hopping to Combat IEEE 802.11b with Practical Resource Constraints.	ISPAN	2004	DBLP DOI BibTeX RDF	adaptive frequency hopping, coexistence mechanisms, IEEE 802.15, Bluetooth, cross-layer design, resource constraints, IEEE 802.11b
17	Vitaliy L. Khizder, Grant E. Weddell	Reasoning about Uniqueness Constraints in Object Relational Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	uniqueness constraints, subsumption algorithms, description logics, Complex objects, object relational databases, semantic query optimization
17	Shiguang Shan, Wen Gao 0001, Wei Wang, Debin Zhao, Baocai Yin	Enhanced Active Shape Models with Global Texture Constraints for Image Analysis.	ISMIS	2003	DBLP DOI BibTeX RDF	Active Shape Models (ASMs), Enhanced Active Shape Models (EASMs), Global Texture Constraints (GTC), Active Appearance Models (AAMs)
17	Sung-Woo Hur, Tung Cao, Karthik Rajagopal, Yegna Parasuram, Amit Chowdhary, Vladimir Tiourin, Bill Halpin	Force directed mongrel with physical net constraints.	DAC	2003	DBLP DOI BibTeX RDF	mongrel, net constraints, timing driven placement, force directed placement
17	Christopher A. Healy, David B. Whalley	Automatic Detection and Exploitation of Branch Constraints for Timing Analysis.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	best-case execution time, branch constraints, Real-time systems, timing analysis, worst-case execution time, infeasible paths
17	Dongwon Lee 0001, Murali Mani, Frank Chiu, Wesley W. Chu	NeT & CoT: translating relational schemas to XML schemas using semantic constraints.	CIKM	2002	DBLP DOI BibTeX RDF	XML, semantic constraints, schema translation
17	Antonio Eleuteri, Roberto Tagliaferri, Leopoldo Milano, Fausto Acernese, Michele De Laurentiis	Bayesian Learning Techniques: Application to Neural Networks with Constraints on Weight Space.	WIRN	2002	DBLP DOI BibTeX RDF	Bayesian learning frameworks, Learning with constraints, Survival analysis
17	Kazimierz Malanowski, Helmut Maurer	Sensitivity Analysis for Optimal Control Problems Subject to Higher Order State Constraints.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	parametric optimal control, higher order state constraints, differentiability of solutions, implicit function theorem
17	Bradley T. Vander Zanden, Richard L. Halterman, Brad A. Myers, Richard G. McDaniel, Robert C. Miller, Pedro A. Szekely, Dario A. Giuse, David S. Kosbie	Lessons learned about one-way, dataflow constraints in the Garnet and Amulet graphical toolkits.	ACM Trans. Program. Lang. Syst.	2001	DBLP DOI BibTeX RDF	Constraint experience, constraint usage, eager evaluation, one-way dataflow constraints, constraint satisfaction, lazy evaluation
17	Anne Doucet, Stéphane Gançarski, Claudia León, Marta Rukoz	Checking Integrity Constraints in Multidatabase Systems with Nested Transactions.	CoopIS	2001	DBLP DOI BibTeX RDF	Integrity constraints, Consistency checking, Distributed transactions, Multidatabase systems, Nested transactions
17	Alexander Brodsky 0001, Csilla Farkas, Sushil Jajodia	Secure Databases: Constraints, Inference Channels, and Monitoring Disclosures.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	data-dependent disclosure, data-independent disclosure, constraints, completeness, decidability, soundness, Multilevel security, data confidentiality, inference algorithms, inference problem
17	Magnus Boman, Love Ekenberg	Risk Constraints in Agent Conflicts.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	risk constraints, agent conflicts, conflict situation, negotiation set, individual agent goals, remitted goals, multi-agent systems, multi-agent system, complex system, coalitions
17	Haixia Du, Hong Qin 0001	Dynamic PDE Surfaces with Flexible and General Geometric Constraints.	PG	2000	DBLP DOI BibTeX RDF	PDE Surfaces, Interactive Techniques, Geometric Modeling, Dynamic Modeling, Geometric Constraints, CAD/CAM
17	Hong Jeong, Yuns Oh	Parallel Trellis Based Stereo Matching Using Constraints.	Biologically Motivated Computer Vision	2000	DBLP DOI BibTeX RDF	center-reference, constraints, Stereo vision, trellis
17	Tatsunori Mori, Mamoru Matsuo, Hiroshi Nakawaga	Zero-subject Resolution Using Linguistic Constraints and Defaults: The Case of Japanese Instruction Manuals.	Mach. Transl.	1999	DBLP DOI BibTeX RDF	pragmatic constraints, zero subjects, Japanese, defaults
17	Bill Triggs	Differential Matching Constraints.	ICCV	1999	DBLP DOI BibTeX RDF	Matching Tensors, Tensor Tracking, Difference Expansion, Image Sequences, Matching Constraints
17	Bin Ni, Zehua Zhou	An Automatically Dynamic Checking Tool for Java Beans Semantic Constraints.	TOOLS (27)	1998	DBLP DOI BibTeX RDF	dynamic model checking, formal specification, Component, semantic constraints
17	Srimat T. Chakradhar, Vijay Gangaram, Steven G. Rothweiler	Deriving Signal Constraints to Accelerate Sequential Test Generation.	VLSI Design	1997	DBLP DOI BibTeX RDF	sequential test generation algorithm acceleration, signal constraints, large sequential circuits, deterministic sequential test generation, signal constraint computation technique, line probabilities, line justification techniques, benchmark sequential circuits, test generation time reduction, production sequential circuits, 3-valued signal probabilities, fault diagnosis, fault coverage, symbolic simulation, truth table
17	Brad T. Vander Zanden	An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	incremental constraint satisfaction, constraints, interactive systems
17	Namyun Kim	A scheduling technique for real-time systems with end-to-end timing constraints.	RTCSA	1996	DBLP DOI BibTeX RDF	end-to-end timing constraints, shared tasks, overload situations, real-time systems, real-time systems, scheduling technique
17	Anne Doucet, Stéphane Gançarski, Geneviève Jomier, Sophie Monties	Integrity Constraints in Multiversion Databases.	BNCOD	1996	DBLP DOI BibTeX RDF	database, consistency, integrity constraints, versions
17	Kalle Åström, Anders Heyden	Multilinear Constraints in the Infinitesimal-time Cas.	CVPR	1996	DBLP DOI BibTeX RDF	Multilinear constraints, infinitesimal motion, calibrated camera, uncalibrated camera
17	Lee W. Campbell, Aaron F. Bobick	Recognition of Human Body Motion Using Phase Space Constraints.	ICCV	1995	DBLP DOI BibTeX RDF	phase space methods, human body motion recognition, phase space constraints, human body movements, body-centered coordinates, joint angles, Cartesian tracking data, movement representation, torso location, torso attitude, new movement learning, ground truth data, constraint searching, unsegmented data, fundamental classical ballet steps, dancers, unsegmented motion stream, computer vision, testing, tracking, motion estimation, training, image recognition, image representation, search problems, diagnostics, humanities, biomechanics, subspaces, constraint theory, space curves
17	Jiebo Luo, Chang Wen Chen, Kevin J. Parker, Thomas S. Huang	Adaptive quantization with spatial constraints in subband video compression using wavelets.	ICIP	1995	DBLP DOI BibTeX RDF	adaptive quantization, subband video compression, high frequency subbands coding, spectral localization properties, spatial localization properties, subband decomposition, multimodal Laplacian distribution, spectral distribution, noniterative MAP estimation, quantized subbands, wavelet transforms, wavelets, data compression, statistical analysis, video coding, maximum likelihood estimation, spectral analysis, random processes, adaptive signal processing, spatial constraints, quantisation (signal), Gibbs random field, low bit rate coding, subband coding
17	J. Artur Serrano	The Use of Semantic Constraints on Diagram Editors.	VL	1995	DBLP DOI BibTeX RDF	diagram editors, state transition networks, entity-relationship data model, unfriendly system, automatic diagram validation, Petri nets, graphical user interfaces, software tools, software tools, visual programming, visual programming, diagrams, graphical interface, semantic constraints, user guidance
17	Naoshi Uchihira, Shinichi Honiden	Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.	HICSS (2)	1995	DBLP DOI BibTeX RDF	fifth generation systems, compositional adjustment, correct concurrent program development, temporal logic constraints, MENDELS ZONE, program adjustment, finite-state process, arbiter process, partial serialization, imperfect processes, harmful nondeterministic behaviors, large-scale compound target processes, process equivalence theory, Multi-PSI, MENDEL concurrent programming language, kernel language, KL1, parallel computer, temporal logic, programming environments, programming environment, program debugging, high-level Petri net, constraint handling, multiprocessing programs, formal approach
17	M. A. Snyder	On the Mathematical Foundations of Smoothness Constraints for the Determination of Optical Flow and for Surface Reconstruction.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	gradient-based methods, minimization technique, grey-level image intensity function, Cartesian coordinate system, weight matrix, computer vision, computer vision, optical flow, surface reconstruction, minimisation, smoothness constraints, positive definite
17	Andrew P. Witkin, Michael Kass	Spacetime constraints.	SIGGRAPH	1988	DBLP DOI BibTeX RDF	animation, constraints
17	Feida Zhu 0001, Xifeng Yan, Jiawei Han 0001, Philip S. Yu	gPrune: A Constraint Pushing Framework for Graph Pattern Mining.	PAKDD	2007	DBLP DOI BibTeX RDF
17	Praveen Madiraju, Rajshekhar Sunderraman	An efficient constraint planning algorithm for multidatabases.	AICCSA	2005	DBLP DOI BibTeX RDF
17	Hamidah Ibrahim	A Strategy for Semantic Integrity Checking in Distributed Databases.	ICPADS	2002	DBLP DOI BibTeX RDF
17	Antoni Olivé	Taxonomies and Derivation Rules in Conceptual Modeling.	CAiSE	2001	DBLP DOI BibTeX RDF
17	Marcy Telles	Updating an older interface.	CHI	1990	DBLP DOI BibTeX RDF	WordStar
16	Amir M. Ben-Amram	Size-Change Termination, Monotonicity Constraints and Ranking Functions.	CAV	2009	DBLP DOI BibTeX RDF
16	Marco A. Casanova, Tanara Lauschner, Luiz André P. Paes Leme, Karin Koogan Breitman, António L. Furtado 0001, Vânia Maria Ponte Vidal	A Strategy to Revise the Constraints of the Mediated Schema.	ER	2009	DBLP DOI BibTeX RDF	constraint revision, mediated schema, Description Logics
16	Neng-Fa Zhou	Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC.	ICLP	2009	DBLP DOI BibTeX RDF
16	Alan K. Mackworth	Living with Constraints.	Canadian AI	2009	DBLP DOI BibTeX RDF
16	François Bronsard	Practical framework constraints.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	code checker, static analysis, application framework
16	Nicolae Paladi, Thomas Arts	Model based testing of data constraints: testing the business logic of a Mnesia application with Quviq QuickCheck.	Erlang Workshop	2009	DBLP DOI BibTeX RDF	QuickCheck, amnesia, formal specifications, model based testing, erlang, business rules
16	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Conjunctive query containment and answering under description logic constraints.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	computational compexity, conjunctve queries, Description logics, query containment
16	James C. F. Li, Subhrakanti Dey, Jamie S. Evans	Maximal Lifetime Power and Rate Allocation for Wireless Sensor Systems With Data Distortion Constraints.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
16	Lotfi Bejaoui, François Pinet, Michel Schneider, Yvan Bédard	An Adverbial Approach for the Formal Specification of Topological Constraints Involving Regions with Broad Boundaries.	ER	2008	DBLP DOI BibTeX RDF
16	Srikanth Jagabathula, Devavrat Shah	Optimal delay scheduling in networks with arbitrary constraints.	SIGMETRICS	2008	DBLP DOI BibTeX RDF	delay, throughput, scheduling algorithm
16	Yuanlin Zhang 0002, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti	Efficient Algorithms for Functional Constraints.	ICLP	2008	DBLP DOI BibTeX RDF
16	Zhi-Wei Sun, Zheng Zhao	Density Based Cluster in the Presence of Spatial Constraints.	CSSE (4)	2008	DBLP DOI BibTeX RDF
16	Martin James Green, Christopher Jefferson	Structural Tractability of Propagated Constraints.	CP	2008	DBLP DOI BibTeX RDF
16	Stanislav Zivný, Peter Jeavons 0001	Classes of Submodular Constraints Expressible by Graph Cuts.	CP	2008	DBLP DOI BibTeX RDF
16	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	An Improved Tight Closure Algorithm for Integer Octagonal Constraints.	VMCAI	2008	DBLP DOI BibTeX RDF
16	Benjamin Doerr	Roundings Respecting Hard Constraints.	Theory Comput. Syst.	2007	DBLP DOI BibTeX RDF
16	Xinyu Tang, Shawna L. Thomas, Nancy M. Amato	Planning with Reachable Distances: Fast Enforcement of Closure Constraints.	ICRA	2007	DBLP DOI BibTeX RDF
16	Sergio Flesca, Filippo Furfaro, Francesco Parisi	Preferred Database Repairs Under Aggregate Constraints.	SUM	2007	DBLP DOI BibTeX RDF
16	Zong Min Ma 0001, Jiemin Liu, Li Yan 0001	Algebraic Operations on Flexible Constraints Based on Knowledge Comparison.	FSKD (4)	2007	DBLP DOI BibTeX RDF
16	Mona Haeker, Michael D. Abràmoff, Xiaodong Wu 0001, Randy Kardon, Milan Sonka	Use of Varying Constraints in Optimal 3-D Graph Search for Segmentation of Macular Optical Coherence Tomography Images.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
16	David A. Cohen, Peter Jeavons 0001, Stanislav Zivný	The Expressive Power of Valued Constraints: Hierarchies and Collapses.	CP	2007	DBLP DOI BibTeX RDF
16	Yuancan Huang, Chuang Yu	Improved Lagrange Nonlinear Programming Neural Networks for Inequality Constraints.	IJCNN	2007	DBLP DOI BibTeX RDF
16	Kai Lin, David Chen 0002, R. Geoff Dromey, Chengzheng Sun	Maintaining constraints expressed as formulas in collaborative systems.	CollaborateCom	2007	DBLP DOI BibTeX RDF
16	Blaine Nelson, Ira Cohen	Revisiting probabilistic models for clustering with pair-wise constraints.	ICML	2007	DBLP DOI BibTeX RDF
16	Stephan Mäs	Reasoning on Spatial Semantic Integrity Constraints.	COSIT	2007	DBLP DOI BibTeX RDF