|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13289 occurrences of 5329 keywords
|
|
|
Results
Found 33126 publication records. Showing 33126 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
32 | Bi-Ru Dai, Cheng-Ru Lin, Ming-Syan Chen |
Constrained data clustering by depth control and progressive constraint relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 16(2), pp. 201-217, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data mining, Data clustering, Constrained clustering |
32 | Xiaoping Liu 0003, Hui Shi, Zhengqiang Mao, Liping Zheng |
Study on Constraint Information Visualization in CSCD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China, pp. 117-122, 2006, IEEE, 1-4244-0165-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Parke Godfrey, Jarek Gryz, Calisto Zuzarte |
Exploiting Constraint-Like Data Characterizations in Query Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2001 ACM SIGMOD international conference on Management of data, Santa Barbara, CA, USA, May 21-24, 2001, pp. 582-592, 2001, ACM, 1-58113-332-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Akansha Gautam, Venktesh V, Sarah Masud |
Fake News Detection System Using XLNet Model with Topic Distributions: CONSTRAINT@AAAI2021 Shared Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 189-200, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Anna Glazkova, Maksim Glazkov, Timofey Trifonov |
g2tmn at Constraint@AAAI2021: Exploiting CT-BERT and Ensembling Learning for COVID-19 Fake News Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 116-127, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Renyuan Liu, Xiaobing Zhou |
Extracting Latent Information from Datasets in CONSTRAINT 2021 Shared Task. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 62-73, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Parth Patwa, Mohit Bhardwaj, Vineeth Guptha, Gitanjali Kumari, Shivam Sharma, Srinivas PYKL, Amitava Das, Asif Ekbal, Md. Shad Akhtar, Tanmoy Chakraborty 0002 |
Overview of CONSTRAINT 2021 Shared Tasks: Detecting English COVID-19 Fake News and Hindi Hostile Posts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONSTRAINT@AAAI ![In: Combating Online Hostile Posts in Regional Languages during Emergency Situation - First International Workshop, CONSTRAINT 2021, Collocated with AAAI 2021, Virtual Event, February 8, 2021, Revised Selected Papers, pp. 42-53, 2021, Springer, 978-3-030-73695-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Charles Régin, Arnaud Malapert |
Parallel Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 337-379, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Alejandro Arbelaez, Deepak Mehta 0001, Barry O'Sullivan, Luis Quesada 0001 |
Parallel Constraint-Based Local Search: An Application to Designing Resilient Long-Reach Passive Optical Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Parallel Constraint Reasoning ![In: Handbook of Parallel Constraint Reasoning., pp. 633-665, 2018, Springer, 978-3-319-63515-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Manuel Bodirsky, Marcello Mamino |
Constraint Satisfaction Problems over Numeric Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 79-111, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Martin C. Cooper, Stanislav Zivný |
Hybrid Tractable Classes of Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 113-135, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Mark Jerrum |
Counting Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 205-231, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Gregory Z. Gutin, Anders Yeo |
Parameterized Constraint Satisfaction Problems: a Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem ![In: The Constraint Satisfaction Problem: Complexity and Approximability, pp. 179-203, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-003-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis |
The Inductive Constraint Programming Loop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 303-309, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Amine Balafrej, Christian Bessiere, Anastasia Paparrizou, Gilles Trombettoni |
Adapting Consistency in Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 226-253, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Valerio Grossi, Tias Guns, Anna Monreale, Mirco Nanni, Siegfried Nijssen |
Partition-Based Clustering Using Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 282-299, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh |
New Approaches to Constraint Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 51-76, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Luc De Raedt, Anton Dries, Tias Guns, Christian Bessiere |
Learning Constraint Satisfaction Problems: An ILP Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 96-112, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Nicolas Beldiceanu, Helmut Simonis |
ModelSeeker: Extracting Global Constraint Models from Positive Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Constraint Programming ![In: Data Mining and Constraint Programming - Foundations of a Cross-Disciplinary Approach, pp. 77-95, 2016, Springer, 978-3-319-50136-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Milan Hladík, Jaroslav Horácek |
Interval Linear Programming Techniques in Constraint Programming and Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 47-59, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | P. S. V. Nataraj, Mukesh D. Patil |
Reliable and Robust Automated Synthesis of QFT Controller for Nonlinear Magnetic Levitation System Using Interval Constraint Satisfaction Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 131-135, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Aline Jaimes, Craig Tweedy, Tanja Magoc, Vladik Kreinovich, Martine Ceberio |
Selecting the Best Location for a Meteorological Tower: A Case Study of Multi-objective Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 61-65, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Martine Ceberio, Olga Kosheleva, Vladik Kreinovich |
Simplicity Is Worse Than Theft: A Constraint-Based Explanation of a Seemingly Counter-Intuitive Russian Saying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 9-13, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Vladik Kreinovich, Juan Ferret, Martine Ceberio |
Constraint-Related Reinterpretation of Fundamental Physical Equations Can Serve as a Built-In Regularization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Decision Making ![In: Constraint Programming and Decision Making, pp. 91-95, 2014, Springer, 978-3-319-04279-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Jérémy Besson, Jean-François Boulicaut, Tias Guns, Siegfried Nijssen |
Generalizing Itemset Mining in a Constraint Programming Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 107-126, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Saso Dzeroski |
Inductive Databases and Constraint-based Data Mining: Introduction and Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inductive Databases and Constraint-Based Data Mining ![In: Inductive Databases and Constraint-Based Data Mining., pp. 3-26, 2010, Springer, 978-1-4419-7737-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin |
09441 Abstracts Collection - The Constraint Satisfaction Problem: Complexity and Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
31 | Andrei A. Bulatov, Martin Grohe, Phokion G. Kolaitis, Andrei A. Krokhin |
09441 Executive Summary - The Constraint Satisfaction Problem: Complexity and Approximability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Constraint Satisfaction Problem: Complexity and Approximability ![In: The Constraint Satisfaction Problem: Complexity and Approximability, 25.10. - 30.10.2009, 2009, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
31 | Peter Z. Revesz |
Constraint Databases and Geographic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
31 | Bernd Bank, Max J. Egenhofer, Bart Kuijpers |
07212 Abstracts Collection -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
31 | Bernd Bank, Max J. Egenhofer, Joos Heintz, Bart Kuijpers, Peter Z. Revesz |
07212 Manifesto -- Constraint Databases, Geometric Elimination ang Geographic Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases, Geometric Elimination and Geographic Information Systems ![In: Constraint Databases, Geometric Elimination and Geographic Information Systems, 20.05. - 25.05.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
31 | Boi Faltings |
Distributed Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 699-729, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Philippe Baptiste, Philippe Laborie, Claude Le Pape, Wim Nuijten |
Constraint-Based Scheduling and Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 761-799, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Kim Marriott, Peter J. Stuckey, Mark Wallace 0001 |
Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 409-452, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Helmut Simonis |
Constraint Applications in Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 875-903, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Ian P. Gent, Karen E. Petrie, Jean-François Puget |
Symmetry in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 329-376, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Christian Schulte 0001, Mats Carlsson |
Finite Domain Constraint Programming Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 495-526, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Rina Dechter |
Tractable Structures for Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 209-244, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Eugene C. Freuder, Alan K. Mackworth |
Constraint Satisfaction: An Emerging Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 13-27, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | John N. Hooker |
Operations Research Methods in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 527-570, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Christian Bessiere |
Constraint Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 29-83, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | David A. Cohen, Peter Jeavons 0001 |
The Complexity of Constraint Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Constraint Programming ![In: Handbook of Constraint Programming, pp. 245-280, 2006, Elsevier, 978-0-444-52726-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jean-François Boulicaut, Luc De Raedt, Heikki Mannila (eds.) |
Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![Springer, 3-540-31331-1 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Roberto J. Bayardo |
The Hows, Whys, and Whens of Constraints in Itemset and Rule Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 1-13, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Xiaoxin Yin, Jiawei Han 0001, Jiong Yang 0001, Philip S. Yu |
CrossMine: Efficient Classification Across Multiple Database Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 172-195, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Rosa Meo, Pier Luca Lanzi, Maristella Matera, Danilo Careggio, Roberto Esposito |
Employing Inductive Databases in Concrete Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 295-327, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Kimmo Hätönen, Mika Klemettinen, Markus Miettinen |
Remarks on the Industrial Application of Inductive Database Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 196-215, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Cheikh Talibouya Diop, Arnaud Giacometti, Dominique Laurent 0001, Nicolas Spyratos |
Computation of Mining Queries: An Algebraic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 102-126, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Mohammed Javeed Zaki, Nilanjana De, Feng Gao 0016, Paolo Palmerini, Nagender Parimi, Jeevan Pathuri, Benjarath Phoophakdee, Joe Urban |
Generic Pattern Mining Via Data Mining Template Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 362-379, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Toon Calders, Christophe Rigotti, Jean-François Boulicaut |
A Survey on Condensed Representations for Frequent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 64-80, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Björn Bringmann |
To See the Wood for the Trees: Mining Frequent Tree Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 38-63, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Fabien De Marchi, Frédéric Flouvat, Jean-Marc Petit |
Adaptive Strategies for Mining the Positive Border of Interesting Patterns: Application to Inclusion Dependencies in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 81-101, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Jouni K. Seppänen, Heikki Mannila |
Boolean Formulas and Frequent Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 348-361, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Gianluigi Greco, Antonella Guzzo, Giuseppe Manco 0001, Luigi Pontieri, Domenico Saccà |
Mining Constrained Graphs: The Case of Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 155-171, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Rosa Meo, Marco Botta, Roberto Esposito, Arianna Gallo |
A Novel Incremental Approach to Association Rules Mining in Inductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint-Based Mining and Inductive Databases ![In: Constraint-Based Mining and Inductive Databases, European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers, pp. 267-294, 2004, Springer, 3-540-31331-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Dina Q. Goldin |
Constraint Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 335-342, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
31 | Jan Chomicki, Leonid Libkin |
Aggregate Languages for Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 131-154, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
31 | Marc Gyssens, Luc Vandeurzen, Dirk Van Gucht |
Linear-Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 199-229, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
31 | Jan Van den Bussche |
Constraint Databases, Queries, and Query Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Databases ![In: Constraint Databases, pp. 20-54, 2000, Springer, 3-540-66151-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
31 | Frédéric Goualard, Frédéric Benhamou |
Debugging Constraint Programs by Store Inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 273-297, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo |
An Assertion Language for Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 23-62, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco |
Using Constraint Visualisation Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 321-356, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Manuel Carro, Manuel V. Hermenegildo |
Tools for Constraint Visualisation: The VIFID/TRIFID Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 253-272, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski |
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Analysis and Visualization Tools for Constraint Programming ![In: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project), pp. 1-20, 2000, Springer, 3-540-41137-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Lígia Ferreira, Salvador Abreu |
A Constraint Logic Programming Framwork in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: 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, pp. 81-92, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Martin Henz, Tobias Müller 0002, Ka Boon Ng |
Figaro: Yet Another Constraint Programming Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP ![In: 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, pp. 93-105, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Joseph C. Pemberton, Flavius Galiber III |
A constraint-based approach to satellite scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 101-114, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Harald Meyer auf'm Hofe |
Nurse rostering as constraint satisfaction with fuzzy constraints and inferred control strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 67-99, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Barbara M. Smith, Colin J. Layfield, Anthony Wren |
A constraint programming pre-processor for a bus driver scheduling system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 131-148, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Richard J. Wallace, Eugene C. Freuder |
Introduction to DIMACS workshop on Constraint Programming and Large Scale Discrete Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 1-5, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Fabian Zabatta |
Multithreaded constraint programming: A hybrid approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 41-64, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Charles Régin |
Minimization of the number of breaks in sports scheduling problems using constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming and Large Scale Discrete Optimization ![In: Constraint Programming and Large Scale Discrete Optimization, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, September 14-17, 1998, pp. 115-130, 1998, DIMACS/AMS, 978-0-8218-2710-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
31 | A. E. Eiben, Paul-Erik Raué, Zsófia Ruttkay |
GA-easy and GA-hard Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 267-283, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Francesca Rossi 0001 |
Redundant Hidden Variables in Finite Domain Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 205-223, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Christian Codognet, Philippe Codognet |
A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 39-49, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Barbara M. Smith |
In Search of Exceptionally Difficult Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Processing, Selected Papers ![In: Constraint Processing, Selected Papers, pp. 139-155, 1995, Springer, 3-540-59479-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
31 | Antoine Rauzy |
Toupie: a Constraint Language for Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 193-208, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Pascal Van Hentenryck, Vijay A. Saraswat, Yves Deville |
Design, Implementation, and Evaluation of the Constraint Language cc(FD) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 293-316, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Frédéric Benhamou |
Interval Constraint Logic Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 1-21, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Michel Rueher |
An Architecture for Cooperating Constraint Solvers on Reals ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 231-250, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Philippe Codognet, Giuseppe Nardiello |
Enhancing the Constraint-Solving Power of CLP(FD) by Means of Path-Consistency Methods ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 39-61, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Louis Imbert |
Linear Constraint Solving in CLP-Languages ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 108-127, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Ugo Montanari, Francesca Rossi 0001 |
Concurrency and Concurrent Constraint Programming ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 171-192, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Hubert Comon |
Constraints in Term Algebras: An Overview of Constraint Solving Techniques ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 62-67, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Thom W. Frühwirth |
Constraint Handling Rules ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Programming ![In: Constraint Programming: Basics and Trends, Châtillon Spring School, Châtillon-sur-Seine, France, May 16 - 20, 1994, Selected Papers, pp. 90-107, 1994, Springer, 3-540-59155-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Philippe Codognet, Daniel Diaz 0001 |
Boolean Constraint Solving Using clp(FD). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
31 | Björn Carlson, Sverker Janson, Johan Montelius |
Aspects of Constraint Solving for AKL (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
31 | Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott |
Independence in Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
31 | Sverker Janson, Johan Montelius, Seif Haridi |
A Survey of AKL, A General Purpose Concurrent Constraint Language (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
31 | Ugo Montanari, Francesca Rossi 0001, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo |
Contextual Nets and Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP Workshop on Concurrent Constraint Programming ![In: Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
31 | Martin F. van Bommel, Grant E. Weddell |
Reasoning About Equations and Functional Dependencies on Complex Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 6(3), pp. 455-469, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
complex object types, property value path, property paths, property value navigation, directed labeled graph, equational constraint, stratification condition, data structures, query processing, database management systems, query languages, query language, query languages, object-oriented databases, directed graphs, reasoning, database theory, functional dependencies, decision procedures, conjunctive queries, undecidable, complex objects, semantic data models, object-oriented data models, equations, constraint theory, constraint theory, constraint language |
31 | Manuel Bodirsky, Jan Kára |
The complexity of temporal constraint satisfaction problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 29-38, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
complexity, constraint satisfaction, temporal reasoning |
31 | Francisco Azevedo |
Cardinal: A Finite Sets Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(1), pp. 93-129, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP |
31 | Miguel A. Salido, Federico Barber |
Constrainedness and Redundancy by Constraint Ordering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IBERAMIA ![In: Advances in Artificial Intelligence - IBERAMIA 2004, 9th Ibero-American Conference on AI, Puebla, Mexico, November 22-26, 2004, Proceedings, pp. 124-133, 2004, Springer, 3-540-23806-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constrainedness, heuristics, Constraint Satisfaction Problems |
31 | Klaus Meer |
On Consistency and Width Notions for Constraint Programs with Algebraic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, pp. 88-102, 2002, Springer, 3-540-44233-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
algebraic constraint satisfaction problems, backtrack-free algorithms, consistency, width |
31 | Harald Meyer auf'm Hofe |
Solving Rostering Tasks as Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATAT ![In: Practice and Theory of Automated Timetabling III, Third International Conference, PATAT 2000, Konstanz, Germany, August 16-18, 2000, Selected Papers, pp. 191-212, 2000, Springer, 3-540-42421-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
employee timetabling, commercial packages, constraint based methods, artificial intelligence, local search, soft computing |
31 | Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella |
A Compositional Semantics for CHR with Propagation Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraint Handling Rules ![In: Constraint Handling Rules, Current Research Topics, pp. 119-160, 2008, Springer, 978-3-540-92242-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Brad T. Vander Zanden |
An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 18(1), pp. 30-72, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
incremental constraint satisfaction, constraints, interactive systems |
30 | Anirban Mondal, Sanjay Kumar Madria, Masaru Kitsuregawa |
An economic incentive model for encouraging peer collaboration in mobile-P2P networks with support for constraint queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Peer-to-Peer Netw. Appl. ![In: Peer-to-Peer Netw. Appl. 2(3), pp. 230-251, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Royalty model, Peer participation, Constraint queries, Constraint indexing, Incentives, Economic model, Mobile peer-to-peer |
30 | Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell |
Extending dynamic constraint detection with disjunctive constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008, pp. 57-63, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
disjunctive constraint, dynamic constraint inference, behavioral specification |
Displaying result #101 - #200 of 33126 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|