Search results for "local consistency"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Gianluigi Greco, Francesco Scarcello	The power of tree projections: local consistency, greedy algorithms, and larger islands of tractability.	PODS	2010	DBLP DOI BibTeX RDF	structural decomposition methods, tree projections, local consistency
3	Ahlem Ben Hassine, Tu Bao Ho, Takayuki Ito	Meetings scheduling solver enhancement with local consistency reinforcement.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Meeting scheduling problems, Valued distributed constraint satisfaction problems, Local consistency enforcement, Multi-agent system
3	Matthias Zytnicki, Christine Gaspin, Thomas Schiex	A new local consistency for weighted CSP dedicated to long domains.	SAC	2006	DBLP DOI BibTeX RDF	bound arc consistency, weighted constraint satisfaction problem, local consistency
3	Assef Chmeiss, Lakhdar Sais	About the use of local consistency in solving CSPs.	ICTAI	2000	DBLP DOI BibTeX RDF	constraint satisfaction problem solving, filtering techniques, singleton arc consistency, problem solving, search problems, pruning, search algorithms, constraint handling, local consistency, path consistency
3	Romuald Debruyne	A Strong Local Consistency for Constraint Satisfaction. (PDF / PS)	ICTAI	1999	DBLP DOI BibTeX RDF	constraint satisfaction, local consistency
2	Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo	A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
2	Federico Heras, Javier Larrosa	Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP.	J. Heuristics	2006	DBLP DOI BibTeX RDF	Weighted CSPs, Local consistency
2	Federico Heras, Javier Larrosa	Local Consistency in Weighted CSPs and Inference in Max-SAT.	CP	2005	DBLP DOI BibTeX RDF
2	Frédéric Goualard, Laurent Granvilliers	Controlled propagation in continuous numerical constraint networks.	SAC	2005	DBLP DOI BibTeX RDF	directional consistency, constraint propagation, local consistency
2	Laurent Granvilliers, Mina Ouabiba	Combination of Nonlinear Terms in Interval Constraint Satisfaction Techniques.	AISC	2004	DBLP DOI BibTeX RDF	redundant constraint, Interval arithmetic, local consistency, numerical constraint, symbolic algorithm
2	Yuanlin Zhang, Roland H. C. Yap	Erratum: P. van Beek and R. Dechter's theorem on constraint looseness and local consistency.	J. ACM	2003	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, Constraint-based reasoning
2	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
2	Stefano Bistarelli, Philippe Codognet, Yan Georget, Francesca Rossi	Labeling and Partial Local Consistency for Soft Constraint Programming.	PADL	2000	DBLP DOI BibTeX RDF
2	Esther Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith	Constraint Satisfaction Methods for Applications in Engineering.	Eng. Comput. (Lond.)	2000	DBLP BibTeX RDF	Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency
2	Peter van Beek, Rina Dechter	Constraint tightness and looseness versus local and global consistency.	J. ACM	1997	DBLP DOI BibTeX RDF	constraint satisfaction problems, relations, local consistency, constraint networks, constraint-based reasoning
2	Stefano Bistarelli, Ugo Montanari, Francesca Rossi	Semiring-based constraint satisfaction and optimization.	J. ACM	1997	DBLP DOI BibTeX RDF	non-crisp constraint reasoning, dynamic programming, constraint solving, local consistency
1	Peter Jeavons, Justyna Petke	Local Consistency and SAT-Solvers.	J. Artif. Intell. Res. (JAIR)	2012	DBLP DOI BibTeX RDF
1	Wei Fan, Jun Sun 0004, Satoshi Naoi, Akihiro Minagawa, Yoshinobu Hotta	Local Consistency Constrained Adaptive Neighbor Embedding for Text Image Super-Resolution.	Document Analysis Systems	2012	DBLP DOI BibTeX RDF
1	Serge Gaspers, Stefan Szeider	The Parameterized Complexity of Local Consistency.	Electronic Colloquium on Computational Complexity (ECCC)	2011	DBLP BibTeX RDF
1	Zhang Hong, Dong Yan	Constraint Local Consistency Maintenance of Part Qualitative Model.	ISCID	2011	DBLP DOI BibTeX RDF
1	Serge Gaspers, Stefan Szeider	The Parameterized Complexity of Local Consistency.	CP	2011	DBLP DOI BibTeX RDF
1	Stefano Mattoccia	Accurate Dense Stereo by Constraining Local Consistency on Superpixels.	ICPR	2010	DBLP DOI BibTeX RDF
1	Jialu Liu, Deng Cai, Xiaofei He	Gaussian Mixture Model with Local Consistency.	AAAI	2010	DBLP BibTeX RDF
1	Justyna Petke, Peter Jeavons	Local Consistency and SAT-Solvers.	CP	2010	DBLP DOI BibTeX RDF
1	Alexandre Goldsztejn, Frédéric Goualard	Box consistency through adaptive shaving.	SAC	2010	DBLP DOI BibTeX RDF	constraint programming, local consistency, Newton method
1	Lin Pang, Juan Cao, Yongdong Zhang, Shouxun Lin	Hierarchical feedback algorithm based on visual community discovery for interactive video retrieval.	CIVR	2010	DBLP DOI BibTeX RDF	hierarchical community-based feedback, interactive video retrieval, visual community
1	Seungil Huh, Stephen E. Fienberg	Discriminative topic modeling based on manifold learning.	KDD	2010	DBLP DOI BibTeX RDF	dimensionality reduction, semi-supervised learning, topic modeling, document classification
1	Florent Jacquemard, Michaël Rusinowitch	Rewrite-based verification of XML updates.	PPDP	2010	DBLP DOI BibTeX RDF	hedge automata, static typechecking, xml access control policies, xml updates, term rewriting
1	Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee	Solving finite domain constraint hierarchies by local consistency and tree search.	J. Exp. Theor. Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Michael J. Maher	Local consistency for extended CSPs.	Theor. Comput. Sci.	2009	DBLP DOI BibTeX RDF
1	Lirong Xia, Vincent Conitzer	Finite Local Consistency Characterizes Generalized Scoring Rules.	IJCAI	2009	DBLP BibTeX RDF
1	Libor Barto, Marcin Kozik	Constraint Satisfaction Problems of Bounded Width.	FOCS	2009	DBLP DOI BibTeX RDF	bounded width, constraint satisfaction problem, local consistency
1	Frédéric Benhamou	Interval Constraints.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Continuous constraint satisfaction problems, Constraint programming, Propagation, Local consistency
1	David Schleicher, Luis Miguel Bergasa, Manuel Ocaña, Rafael Barea, Elena López Guillén	Real-time hierarchical GPS aided visual SLAM on urban environments.	ICRA	2009	DBLP DOI BibTeX RDF
1	David Schleicher, Luis Miguel Bergasa, Manuel Ocaña, Rafael Barea, Elena López Guillén	Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments.	EUROCAST	2009	DBLP DOI BibTeX RDF	Computer Vision, Real-Time, SLAM, Intelligent Vehicles
1	Priscilla Kan John, Alban Grastien	Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems.	ECAI	2008	DBLP DOI BibTeX RDF
1	Li Cheng, S. V. N. Vishwanathan, Xinhua Zhang	Consistent image analogies using semi-supervised learning.	CVPR	2008	DBLP DOI BibTeX RDF
1	Bo Li, Hong Chang, Shiguang Shan, Xilin Chen, Wen Gao	Hallucinating facial images and features.	ICPR	2008	DBLP DOI BibTeX RDF
1	Sergio Pozo Hidalgo, Rafael Ceballos, Rafael M. Gasca, Angel Jesus Varela-Vaca	Fast Algorithms for Local Inconsistency Detection in Firewall ACL Updates.	SECURWARE	2008	DBLP DOI BibTeX RDF
1	Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti	Efficient Algorithms for Functional Constraints.	ICLP	2008	DBLP DOI BibTeX RDF
1	Paolo Gentilini	Paraconsistent Arithmetic with a Local Consistency Operator and Global Selfreference.	Electr. Notes Theor. Comput. Sci.	2007	DBLP DOI BibTeX RDF
1	Robert K. Rowe	Biometrics Based on Multispectral Skin Texture.	ICB	2007	DBLP DOI BibTeX RDF	multispectral skin texture, skin biometrics, multispectral imaging, local consistency
1	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
1	Assef Chmeiss, Vincent Krawczyk, Lakhdar Sais	Light Integration of Path Consistency for Solving CSPs.	ICTAI	2007	DBLP DOI BibTeX RDF
1	Jean-Philippe Métivier, Patrice Boizumault, Samir Loudni	All Different: Softening AllDifferent in Weighted CSPs.	ICTAI	2007	DBLP DOI BibTeX RDF
1	Manuel Bodirsky, Hubie Chen	Qualitative Temporal and Spatial Reasoning Revisited.	CSL	2007	DBLP DOI BibTeX RDF
1	Harold Boley	Are Your Rules Online? Four Web Rule Essentials.	RuleML	2007	DBLP DOI BibTeX RDF
1	Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy, Felip Manyà	Mapping CSP into Many-Valued SAT.	SAT	2007	DBLP DOI BibTeX RDF
1	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
1	Simon de Givry, Thomas Schiex, Gérard Verfaillie	Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.	AAAI	2006	DBLP BibTeX RDF
1	Le Chang, Alan K. Mackworth	Local Consistency in Junction Graphs for Constraint-Based Inference.	AAAI	2006	DBLP BibTeX RDF
1	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
1	Yll Haxhimusa, Adrian Ion, Walter G. Kropatsch	Evaluating Hierarchical Graph-based Segmentation.	ICPR	2006	DBLP DOI BibTeX RDF
1	Yll Haxhimusa, Adrian Ion, Walter G. Kropatsch	Irregular Pyramid Segmentations with Stochastic Graph Decimation Strategies.	CIARP	2006	DBLP DOI BibTeX RDF
1	Martin Sachenbacher, Brian C. Williams	Conflict-Directed A* Search for Soft Constraints.	CPAIOR	2006	DBLP DOI BibTeX RDF
1	Santiago Macho González, Carlos Ansótegui, Pedro Meseguer	Boosting Open CSPs.	CP	2006	DBLP DOI BibTeX RDF
1	Marco Benedetti, Arnaud Lallouet, Jérémie Vautard	Reusing CSP Propagators for QCSPs.	CSCLP	2006	DBLP DOI BibTeX RDF	QCSP, Quantified Languages
1	R. Su, W. Murray Wonham	Hierarchical Fault Diagnosis for Discrete-Event Systems under Global Consistency.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Distributed fault daignosis, Multiresolutional computation, Discret-event systems, Hierarchical
1	Javier Larrosa, Federico Heras	Resolution in Max-SAT and its relation to local consistency in weighted CSPs.	IJCAI	2005	DBLP BibTeX RDF
1	David J. Roberts, Damien Marshall, Rob Aspin, Séamus McLoone, Declan Delaney, Tomás Ward	Exploring the Use of Local Consistency Measures as Thresholds for Dead Reckoning Update Packet Generation.	DS-RT	2005	DBLP DOI BibTeX RDF
1	Feng Wan, Munindar P. Singh	Formalizing and achieving multiparty agreements via commitments.	AAMAS	2005	DBLP DOI BibTeX RDF	agents, multiagent systems, commitments, agreements
1	Sanny Gustavsson, Sten F. Andler	Continuous Consistency Management in Distributed Real-Time Databases with Multiple Writers of Replicated Data.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Andreas Wombacher	Issues on Decentralized Consistency Checking of Multi-lateral Collaborations.	WETICE	2005	DBLP DOI BibTeX RDF
1	F. Ning, D. Delhomme, Yann LeCun, F. Piano, Léon Bottou, Paolo Emilio Barbano	Toward Automatic Phenotyping of Developing Embryos From Videos.	IEEE Transactions on Image Processing	2005	DBLP DOI BibTeX RDF
1	Deepak Mehta, Marc R. C. van Dongen	Probabilistic Arc Consistency.	CP	2005	DBLP DOI BibTeX RDF
1	Josef Zlomek, Roman Barták	Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.	CP	2005	DBLP DOI BibTeX RDF
1	Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan	Causal Closure for MSC Languages.	FSTTCS	2005	DBLP DOI BibTeX RDF
1	Chi-Hoon Lee, Russell Greiner, Mark Schmidt	Support Vector Random Fields for Spatial Classification.	PKDD	2005	DBLP DOI BibTeX RDF
1	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
1	Gérard Ligozat, Jochen Renz	Problems with Local Consistency for Qualitative Calculi.	ECAI	2004	DBLP BibTeX RDF
1	Ahlem Ben Hassine, Takayuki Ito, Tu Bao Ho	Scheduling Meetings with Distributed Local Consistency Reinforcement.	IEA/AIE	2004	DBLP DOI BibTeX RDF
1	Chris H. Q. Ding, Xiaofeng He	K-nearest-neighbor consistency in data clustering: incorporating local information into global optimization.	SAC	2004	DBLP DOI BibTeX RDF
1	Frédéric Benhamou, Frédéric Goualard, Eric Languénou, Marc Christie	Interval constraint solving for camera control and motion planning.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	inner approximation, interval constraint, universal quantifier, Camera control
1	Xuli Liu, Hong Jiang, Leen-Kiat Soh	A distributed shared object model based on a hierarchical consistency protocol for heterogeneous clusters.	CCGRID	2004	DBLP DOI BibTeX RDF
1	Assef Chmeiss, Lakhdar Sais	Constraint Satisfaction Problems: Backtrack Search Revisited.	ICTAI	2004	DBLP DOI BibTeX RDF
1	Olli Kamarainen, Hani El Sakkout	Local Probing Applied to Network Routing.	CPAIOR	2004	DBLP DOI BibTeX RDF
1	Christian Bessière, Emmanuel Hebrard, Brahim Hnich, Toby Walsh	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.	CP	2004	DBLP DOI BibTeX RDF
1	Frédéric Boussemart, Fred Hemery, Christophe Lecoutre, Lakhdar Sais	Support Inference for Generic Filtering.	CP	2004	DBLP DOI BibTeX RDF
1	Henning Christiansen, Davide Martinenghi	Simplification of Integrity Constraints for Data Integration.	FoIKS	2004	DBLP DOI BibTeX RDF
1	Ahlem Ben Hassine, Khaled Ghédira, Tu Bao Ho	New Distributed Filtering-Consistency Approach to General Networks.	IEA/AIE	2004	DBLP DOI BibTeX RDF
1	Vanda Luengo, Dima Mufti-Alchawafa, Lucile Vadcard	The Knowledge Like the Object of Interaction in an Orthopaedic Surgery-Learning Environment.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
1	Fabrizio Grandoni, Giuseppe F. Italiano	Decremental Clique Problem.	WG	2004	DBLP DOI BibTeX RDF
1	Javier Larrosa, Thomas Schiex	In the quest of the best form of local consistency for Weighted CSP.	IJCAI	2003	DBLP BibTeX RDF
1	Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.	IJCAI	2003	DBLP BibTeX RDF
1	Fabrizio Grandoni, Giuseppe F. Italiano	Improved Algorithms for Max-restricted Path Consistency.	CP	2003	DBLP DOI BibTeX RDF
1	Michael J. Maher	A Synthesis of Constraint Satisfaction and Constraint Solving.	CP	2003	DBLP DOI BibTeX RDF
1	Igor Razgon, Amnon Meisels	Maintaining Dominance Consistency.	CP	2003	DBLP DOI BibTeX RDF
1	Toby Walsh	Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.	CP	2003	DBLP DOI BibTeX RDF
1	Andrew P. Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky	An Equational Theory for Transactions.	FSTTCS	2003	DBLP DOI BibTeX RDF
1	Houda Chabbi, Lukas Theiler, Stéphane Paris	Automatic Detection of Planar Contours from Uncalibrated Images.	ICPR	2002	DBLP DOI BibTeX RDF
1	Richard W. Prager, Andrew H. Gee, Graham M. Treece, Charlotte J. C. Cash, Laurence H. Berman	Using image-based regression to acquire freehand 3D ultrasound.	ISBI	2002	DBLP DOI BibTeX RDF
1	Michael C. Horsch, William S. Havens, Aditya Ghose	Generalized Arc Consistency with Application to MaxCSP.	Canadian Conference on AI	2002	DBLP DOI BibTeX RDF
1	Jorge Cruz, Pedro Barahona	Maintaining Global Hull Consistency with Local Search for Continuous CSPs.	COCOS	2002	DBLP DOI BibTeX RDF
1	Olli Kamarainen, Hani El Sakkout	Local Probing Applied to Scheduling.	CP	2002	DBLP BibTeX RDF
1	Yahia Lebbah, Michel Rueher, Claude Michel	A Global Filtering Algorithm for Handling Systems of Quadratic Equations and Inequations.	CP	2002	DBLP BibTeX RDF
1	Michael Marte	A Modular Approach to Proving Confluence.	FroCos	2002	DBLP DOI BibTeX RDF
1	Michael J. Maher	Propagation Completeness of Reactive Constraints.	ICLP	2002	DBLP DOI BibTeX RDF
1	Kostas Stergiou	On Algorithms for Decomposable Constraints.	SETN	2002	DBLP DOI BibTeX RDF
1	Ahmed Jebali, Mesaac Makpangou	Replica Divergence Control Protocol in Weakly Connected Environment.	NCA	2001	DBLP DOI BibTeX RDF
1	Claude Michel, Michel Rueher, Yahia Lebbah	Solving Constraints over Floating-Point Numbers.	CP	2001	DBLP DOI BibTeX RDF