Search results for "Constraint"

Hits ?▲	Authors	Title	Venue	Year	Link
25	Valerio Grossi, Dino Pedreschi, Franco Turini	Data Mining and Constraints: An Overview.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
25	Barry Hurley 0001, Barry O'Sullivan, Helmut Simonis	ICON Loop Energy Show Case.	Data Mining and Constraint Programming	2016	DBLP DOI BibTeX RDF
25	Sergey P. Shary	Graph Subdivision Methods in Interval Global Optimization.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Young-Jun Son	An Extended BDI-Based Model for Human Decision-Making and Social Behavior: Various Applications.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Lenore R. Mullin, James E. Raynolds	Scalable, Portable, Verifiable Kronecker Products on Multi-scale Computers.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Karen Villaverde, Olga Kosheleva, Martine Ceberio	Why Ellipsoid Constraints, Ellipsoid Clusters, and Riemannian Space-Time: Dvoretzky's Theorem Revisited.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Uram Anibal Sosa Aguirre, Martine Ceberio, Vladik Kreinovich	Why Curvature in L-Curve: Combining Soft Constraints.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Luciana Garbayo	Epistemic Considerations on Expert Disagreement, Normative Justification, and Inconsistency Regarding Multi-criteria Decision Making.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Paden Portillo, Martine Ceberio, Vladik Kreinovich	Towards an Efficient Bisection of Ellipsoids.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Tanja Magoc, François Modave	Optimization of the Choquet Integral Using Genetic Algorithm.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Vladik Kreinovich	Under Physics-Motivated Constraints, Generally-Non-Algorithmic Computational Problems become Algorithmically Solvable.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Eduardo Cabral Balreira, Olga Kosheleva, Vladik Kreinovich	Algorithmics of Checking whether a Mapping Is Injective, Surjective, and/or Bijective.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Martine Ceberio, Vladik Kreinovich	Continuous If-Then Statements Are Computable.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Misha Koshelev	Gibbs Sampling as a Natural Statistical Analog of Constraints Techniques: Prediction in Science under General Probabilistic Uncertainty.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Laura Painton Swiler, Patricia D. Hough, Peter Z. G. Qian, Xu Xu, Curtis B. Storlie, Herbert Lee	Surrogate Models for Mixed Discrete-Continuous Variables.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Juan Carlos Figueroa García, Germán Jairo Hernández	Linear Programming with Interval Type-2 Fuzzy Constraints.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Raazesh Sainudiin	An Auto-validating Rejection Sampler for Differentiable Arithmetical Expressions: Posterior Sampling of Phylogenetic Quartets.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Olga Kosheleva, Martine Ceberio, Vladik Kreinovich	Why Tensors?	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Olga Kosheleva, Martine Ceberio, Vladik Kreinovich	Adding Constraints - A (Seemingly Counterintuitive but) Useful Heuristic in Solving Difficult Problems.	Constraint Programming and Decision Making	2014	DBLP DOI BibTeX RDF
25	Jörg Wicker, Lothar Richter, Stefan Kramer 0001	SINDBAD and SiQL: Overview, Applications and Future Developments.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Luc De Raedt, Angelika Kimmig, Bernd Gutmann, Kristian Kersting, Vítor Santos Costa, Hannu Toivonen	Probabilistic Inductive Querying Using ProbLog.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Celine Vens, Leander Schietgat, Jan Struyf, Hendrik Blockeel, Dragi Kocev, Saso Dzeroski	Predicting Gene Function using Predictive Clustering Trees.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Joaquin Vanschoren, Hendrik Blockeel	Experiment Databases.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Björn Bringmann, Siegfried Nijssen, Albrecht Zimmermann	From Local Patterns to Classification Models.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Hendrik Blockeel, Toon Calders, Élisa Fromont, Adriana Prado, Bart Goethals, Céline Robardet	Inductive Querying with Virtual Mining Views.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Hendrik Blockeel, Toon Calders, Élisa Fromont, Bart Goethals, Adriana Prado, Céline Robardet	A Practical Comparative Study Of Data Mining Query Languages.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Arno Siebes, Diyah Puspitaningrum	Patterns on Queries.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Luc De Raedt, Manfred Jaeger, Sau Dan Lee, Heikki Mannila	A Theory of Inductive Query Answering.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Ivica Slavkov, Saso Dzeroski	Analyzing Gene Expression Data with Predictive Clustering Trees.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Loïc Cerf, Tran Bao Nhan Nguyen, Jean-François Boulicaut	Mining Constrained Cross-Graph Cliques in Dynamic Networks.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Christophe Rigotti, Ieva Mitasiunaite, Jérémy Besson, Laurène Meyniel, Jean-François Boulicaut, Olivier Gandrillon	Using a Solver Over the String Pattern Domain to Analyze Gene Promoter Sequences.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Ella Bingham	Finding Segmentations of Sequences.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Jan Struyf, Saso Dzeroski	Constrained Predictive Clustering.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Pance Panov, Saso Dzeroski, Larisa N. Soldatova	Representing Entities in the OntoDM Data Mining Ontology.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Ross D. King, Amanda C. Schierz, Amanda Clare, Jem J. Rowland, Andrew Sparkes, Siegfried Nijssen, Jan Ramon	Inductive Queries for a Drug Designing Robot Scientist.	Inductive Databases and Constraint-Based Data Mining	2010	DBLP DOI BibTeX RDF
25	Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin (eds.)	The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
25	Barnaby Martin, Jos Martin	The complexity of positive first-order logic without equality II: The four-element case.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
25	Ross Willard	PP-DEFINABILITY IS CO-NEXPTIME-COMPLETE.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
25	Matthew Valeriote, Simone Bova, Hubie Chen	On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas.	The Constraint Satisfaction Problem: Complexity and Approximability	2009	DBLP BibTeX RDF
25	Leslie De Koninck, Tom Schrijvers, Bart Demoen	A Flexible Search Framework for CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
25	Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen	CHR for Imperative Host Languages.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
25	Bernd Bank, Max J. Egenhofer, Bart Kuijpers (eds.)	Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007	Constraint Databases, Geometric Elimination and Geographic Information Systems	2007	DBLP BibTeX RDF
25	Stephan Mäs	Checking the Integrity of Spatial Integrity Constraints.	Constraint Databases, Geometric Elimination and Geographic Information Systems	2007	DBLP BibTeX RDF
25	Bart Kuijpers, Walied Othman	An analytic solution to the alibi query in the bead model for moving object data.	Constraint Databases, Geometric Elimination and Geographic Information Systems	2007	DBLP BibTeX RDF
25	Rafael Grimson	A lower bound for the complexity of linear optimization from a quantifier-elimination point of view.	Constraint Databases, Geometric Elimination and Geographic Information Systems	2007	DBLP BibTeX RDF
25	Carla P. Gomes, Toby Walsh	Randomness and Structure.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Francesca Rossi 0001, Peter van Beek, Toby Walsh	Introduction.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Willem-Jan van Hoeve, Irit Katriel	Global Constraints.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Kenneth N. Brown, Ian Miguel	Uncertainty and Change.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Peter van Beek	Backtracking Search Algorithms.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Pedro Meseguer, Francesca Rossi 0001, Thomas Schiex	Soft Constraints.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Ulrich Junker	Configuration.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Ugo Montanari	Foreword.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Holger H. Hoos, Edward P. K. Tsang	Local Search Methods.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Barbara M. Smith	Modelling.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Carmen Gervet	Constraints over Structured Domains.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Frédéric Benhamou, Laurent Granvilliers	Continuous and Interval Constraints.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Rolf Backofen, David R. Gilbert	Bioinformatics and Constraints.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Manolis Koubarakis	Temporal CSPs.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Philip Kilby, Paul Shaw	Vehicle Routing.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Thom W. Frühwirth, Laurent Michel, Christian Schulte 0001	Constraints in Procedural and Concurrent Languages.	Handbook of Constraint Programming	2006	DBLP DOI BibTeX RDF
25	Eugene C. Freuder, Richard J. Wallace (eds.)	Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998	Constraint Programming and Large Scale Discrete Optimization	2001	DBLP DOI BibTeX RDF
25	Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski (eds.)	Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Sridhar Ramaswamy	I/O-Efficient Algorithms for CDBs.	Constraint Databases	2000	DBLP BibTeX RDF
25	Peter Z. Revesz	Datalog and Constraints.	Constraint Databases	2000	DBLP BibTeX RDF
25	Bart Kuijpers, Dirk Van Gucht	Genericity in Spatial Databases.	Constraint Databases	2000	DBLP BibTeX RDF
25	Gabriel M. Kuper, Michel Scholl	Geographic Information Systems.	Constraint Databases	2000	DBLP BibTeX RDF
25	Bart Kuijpers, Gabriel M. Kuper, Jan Paredaens	Euclidean Query Languages.	Constraint Databases	2000	DBLP BibTeX RDF
25	Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin	The DEDALE Prototype.	Constraint Databases	2000	DBLP BibTeX RDF
25	Peter Z. Revesz	The DISCO System.	Constraint Databases	2000	DBLP BibTeX RDF
25	Stéphane Grumbach, Gabriel M. Kuper, Jianwen Su	Expressive Power: The Infinite Case.	Constraint Databases	2000	DBLP BibTeX RDF
25	Michael Benedikt, Leonid Libkin	Query Safety with Constraints.	Constraint Databases	2000	DBLP BibTeX RDF
25	Pierre Wolper	Linear Repeating Points.	Constraint Databases	2000	DBLP BibTeX RDF
25	Gabriel M. Kuper, Leonid Libkin, Jan Paredaens	Introduction.	Constraint Databases	2000	DBLP BibTeX RDF
25	Stéphane Grumbach, Zoé Lacroix, Philippe Rigaux, Luc Segoufin	Optimization Techniques.	Constraint Databases	2000	DBLP BibTeX RDF
25	Michael Benedikt, Leonid Libkin	Expressive Power: The Finite Case.	Constraint Databases	2000	DBLP BibTeX RDF
25	Bart Kuijpers, Victor Vianu	Topological Queries.	Constraint Databases	2000	DBLP BibTeX RDF
25	David Toman 0001	SQL/TP: A Temporal Extension of SQL.	Constraint Databases	2000	DBLP BibTeX RDF
25	Alexandre Tessier, Gérard Ferrand	Declarative Diagnosis in the CLP Scheme.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak	Locating Type Errors in Untyped CLP Programs.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo	A Generic Processor for Program Validation and Debugging.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Pascal Bouvier	Visual Tools to Debug Prolog IV Programs.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Christophe Aillaud, Pierre Deransart	Towards a Language for CLP Choice-Tree Visualisation.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Claude Laï	Assertions with Constraints for CLP Debugging.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Manuel Carro, Manuel V. Hermenegildo	Tools for Search-Tree Visualisation: The APT Tool.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Helmut Simonis, Abderrahmane Aggoun	Search-Tree Visualisation.	Analysis and Visualization Tools for Constraint Programming	2000	DBLP DOI BibTeX RDF
25	Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta 0001, Enrico Pontelli, Manuel Carro, Péter Kacsuk (eds.)	Parallelism and Implementation Technology for (Constraint) Logic Programming, in connection with the International Conference on Logic Programming, ICLP 1999, Las Cruces, New Mexico, USA, December 1, 1999	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP BibTeX RDF
25	Manuel Eduardo Correia, Vítor Santos Costa	IAP for dummies: The YAP Design.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Daniel Cabeza Gras, Manuel V. Hermenegildo	The Ciao Module System: A New Module System for Prolog.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Daniel Cabeza Gras, Manuel V. Hermenegildo	The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Henri Lesourd	The Implementation of the Hammurabi System: Indexing and Interprocess Communication.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Mutsunori Banbara, Naoyuki Tamura	Translating a Linear Logic Programming Language into Java.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Kyoung-Sun Kang, Naoyuki Tamura	A Static Analysis Method for a Classical Linear Logic Programming Language.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Paul Tarau	Multi-engine Horn Clause Prolog.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Baoqiu Cui, David Scott Warren	Attributed Variables in XSB.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta 0001, Enrico Pontelli, Manuel Carro, Péter Kacsuk	Preface.	Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP	1999	DBLP DOI BibTeX RDF
25	Christos Voudouris, Edward P. K. Tsang	Guided local search joins the elite in discrete optimisation.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
25	Alexander Nareyek	Using global constraints for local search.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
25	Carmen Gervet	Large scale combinatorial optimization: A methodological viewpoint.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP DOI BibTeX RDF
25		Foreword.	Constraint Programming and Large Scale Discrete Optimization	1998	DBLP BibTeX RDF