|
|
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 |
23 | Huan Ren, Shantanu Dutt |
Constraint satisfaction in incremental placement with application to performance optimization under power constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 251-258, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Gem Stapleton, Aidan J. Delaney |
Towards Overcoming Deficiencies in Constraint Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL/HCC ![In: 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 23-27 September 2007, Coeur d'Alene, Idaho, USA, pp. 33-40, 2007, IEEE Computer Society, 978-0-7695-2987-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Shirley Halevy, Oded Lachish, Ilan Newman, Dekel Tsur |
Testing Properties of Constraint-Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 22nd Annual IEEE Conference on Computational Complexity (CCC 2007), 13-16 June 2007, San Diego, California, USA, pp. 264-277, 2007, IEEE Computer Society, 0-7695-2780-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Fahiem Bacchus |
GAC Via Unit Propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007, Proceedings, pp. 133-147, 2007, Springer, 978-3-540-74969-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Matthias M. Hölzl, John N. Crossley |
Disjunctive Constraint Lambda Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 64-78, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Rémy Haemmerlé |
SiLCC Is Linear Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 448-449, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Charles Régin |
Combination of Among and Cardinality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 30 - June 1, 2005, Proceedings, pp. 288-303, 2005, Springer, 3-540-26152-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Andrei Legtchenko, Arnaud Lallouet |
Consistency for Partially Defined Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 854, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Nicolas Méger, Christophe Rigotti |
Constraint-Based Mining of Episode Rules and Optimal Window Sizes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2004, 8th European Conference on Principles and Practice of Knowledge Discovery in Databases, Pisa, Italy, September 20-24, 2004, Proceedings, pp. 313-324, 2004, Springer, 3-540-23108-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Min Hong, Samuel W. J. Welch, Min-Hyung Choi |
Intuitive Control of Dynamic Simulation Using Improved Implicit Constraint Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 315-323, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Federico Bergenti |
A Toolkit for the Realization of Constraint-Based Multiagent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROMAS ![In: Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers, pp. 89-103, 2004, Springer, 3-540-24559-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Andrei A. Bulatov |
Tractable conservative Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 18th IEEE Symposium on Logic in Computer Science (LICS 2003), 22-25 June 2003, Ottawa, Canada, Proceedings, pp. 321-, 2003, IEEE Computer Society, 0-7695-1884-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Annie Y. S. Lau, Siew Siew Ong, Ashesh Mahidadia, Achim G. Hoffmann, Johanna I. Westbrook, Tatjana Zrimec |
Mining Patterns of Dyspepsia Symptoms Across Time Points Using Constraint Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 7th Pacific-Asia Conference, PAKDD 2003, Seoul, Korea, April 30 - May 2, 2003, Proceedings, pp. 124-135, 2003, Springer, 3-540-04760-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
association rule with constraints, medical knowledge discovery, domain knowledge, human interaction |
23 | Gary Yat Chung Wong, Andy Hon Wai Chun |
Nurse Rostering Using Constraint Programming and Meta-level Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Developments in Applied Artificial Intelligence, 16th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2003, Laughborough, UK, June 23-26, 2003, Proceedings, pp. 712-721, 2003, Springer, 3-540-40455-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Georg Ringwelski |
Object-Oriented Constraint Programming with J.CP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2002: Advances in Artificial Intelligence, Second Mexican International Conference on Artificial Intelligence, Merida, Yucatan, Mexico, April 22-26, 2002, Proceedings, pp. 194-203, 2002, Springer, 3-540-43475-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Lars Engebretsen, Venkatesan Guruswami |
Is Constraint Satisfaction Over Two Variables Always Easy? ![Search on Bibsonomy](Pics/bibsonomy.png) |
RANDOM ![In: Randomization and Approximation Techniques, 6th International Workshop, RANDOM 2002, Cambridge, MA, USA, September 13-15, 2002, Proceedings, pp. 224-238, 2002, Springer, 3-540-44147-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Greg Nelson |
Foundations of a Constraint-Based Illustrator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings, pp. 1, 2002, Springer, 3-540-43381-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur |
Building Constraint Solvers with HAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings, pp. 90-104, 2001, Springer, 3-540-42935-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Kirk Schloegel, George Karypis, Vipin Kumar 0001 |
Parallel Multilevel Algorithms for Multi-constraint Graph Partitioning (Distinguished Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29 - September 1, 2000, Proceedings., pp. 296-310, 2000, Springer, 3-540-67956-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Thom W. Frühwirth |
Proving Termination of Constraint Solver Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Trends in Constraints ![In: New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999, Selected Papers, pp. 298-317, 1999, Springer, 3-540-67885-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Peter Z. Revesz |
Safe Query Languages for Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 23(1), pp. 58-99, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Datalog |
23 | Alberto Belussi, Elisa Bertino, Barbara Catania |
Manipulating Spatial Data in Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSD ![In: Advances in Spatial Databases, 5th International Symposium, SSD'97, Berlin, Germany, July 15-18, 1997, Proceedings, pp. 115-141, 1997, Springer, 3-540-63238-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | R. Kowalczyk |
Using constraint satisfaction in genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANZIIS ![In: Proceedings of the Australian New Zealand Conference on Intelligent Information Systems, ANZIIS 96, Adelaide, South Australia, 18-20 November 1996, pp. 272-275, 1996, IEEE, 0-7803-3667-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Philippe Codognet, Daniel Diaz 0001, Francesca Rossi 0001 |
Constraint Reaction in FD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings, pp. 168-179, 1996, Springer, 3-540-62034-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Eugene Y. Sheng |
A Decompositional Approach to Database Constraint Enforcement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 21th Conference on Computer Science, CSC '93, Indianapolis, IN, USA, February 16-18, 1993, pp. 489-496, 1993, ACM, 0-89791-558-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
23 | Pascal Van Hentenryck, Yves Deville |
Operational Semantics of Constraint Logic Programming over Finite Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 395-406, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
23 | Juhani Jaakola |
Modifying the Simplex Algorithm to a Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 2nd International Workshop PLILP'90, Linköping, Sweden, August 20-22, 1990, Proceedings, pp. 89-105, 1990, Springer, 3-540-53010-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
23 | David G. Lowe |
The viewpoint consistency constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 1(1), pp. 57-72, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
23 | Bella Dubrov, Haggai Eran, Ari Freund 0001, Edward F. Mark, Shyam Ramji, Timothy A. Schell |
Pin Assignment Using Stochastic Local Search Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 35-49, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ASIC, Constraint Programming, EDA, Stochastic Local Search, Chip Design, Pin Assignment |
23 | William Yeoh 0001, Ariel Felner, Sven Koenig |
IDB-ADOPT: A Depth-First Search DCOP Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers, pp. 132-146, 2008, Springer, 978-3-642-03250-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributed Search Algorithms, ADOPT, Distributed Constraint Optimization, DCOP |
23 | Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal |
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 4th International Conference, CPAIOR 2007, Brussels, Belgium, May 23-26, 2007, Proceedings, pp. 275-287, 2007, Springer, 978-3-540-72396-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
integer programming, constraint programming, cutting planes, polyhedral combinatorics |
23 | Mark Wallace 0001 |
Hybrid Algorithms in Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCLP ![In: Recent Advances in Constraints, 11th Annual ERCIM International Workshop on Constraint Solving and Contraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006, Revised Selected and Invited Papers, pp. 1-32, 2006, Springer, 978-3-540-73816-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
search, constraint programming, hybrid algorithms |
23 | Mark Wallace 0001, Joachim Schimpf, Kish Shen, Warwick Harvey |
On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(1), pp. 5-34, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
solver performance, Benchmarking, ECLiPSe, Unit Testing, constraint logic programming, Finite Domain, CLP |
23 | Edward P. K. Tsang, John A. Ford, Patrick Mills, Richard Bradwell, Richard Williams, Paul Scott 0001 |
Towards a practical engineering tool for rostering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 155(1), pp. 257-277, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Raymond Reiter |
What Should A Database Know? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, USA, pp. 302-304, 1988, ACM, 0-89791-263-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
22 | Vaithilingam Jeyakumar, S. Srisatkunarajah |
Lagrange multiplier necessary conditions for global optimality for non-convex minimization over a quadratic constraint via S-lemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 3(1), pp. 23-33, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Smooth non-convex minimization, Difference of quadratic and convex functions, Single quadratic constraint, Global optimality, Lagrange multipliers, Fractional programs |
22 | K. Subramani 0001 |
Optimal Length Resolution Refutations of Difference Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 43(2), pp. 121-137, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Difference constraint systems, Resolution refutation, Optimal length, Minimum unsatisfiable subset, Fourier-Motzkin elimination |
22 | Feng Qian, Qinming He, Jiangfeng He |
Mining Spatial Co-location Patterns with Dynamic Neighborhood Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (2) ![In: Machine Learning and Knowledge Discovery in Databases, European Conference, ECML PKDD 2009, Bled, Slovenia, September 7-11, 2009, Proceedings, Part II, pp. 238-253, 2009, Springer, 978-3-642-04173-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Spatial co-location patterns, Spatial neighborhood constraint, Spatial data mining |
22 | Göran Jerke, Jens Lienig |
Constraint-driven design: the next step towards analog design automation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPD ![In: Proceedings of the 2009 International Symposium on Physical Design, ISPD 2009, San Diego, California, USA, March 29 - April 1, 2009, pp. 75-82, 2009, ACM, 978-1-60558-449-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
constraint-driven design, constraints, layout, physical design, analog design |
22 | Lin Wang 0038, Wee Keong Ng, Bing Song |
Constraint Satisfaction Approach on Product Configuration with Cost Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 731-740, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Constraint satisfaction problem, Cost estimation, Product family, Mass customization, Product configuration |
22 | Andrew John Sadler, Carmen Gervet |
Enhancing set constraint solvers with lexicographic bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 14(1), pp. 23-67, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Artificial intelligence, Constraint programming, Modelling languages |
22 | Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen |
An Integer Linear Programming Approach for Dedicated Machine Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 7th IEEE/ACIS International Conference on Computer and Information Science, IEEE/ACIS ICIS 2008, 14-16 May 2008, Portland, Oregon, USA, pp. 69-74, 2008, IEEE Computer Society, 978-0-7695-3131-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Dedicated Machine Constraint, Photolithography, Integer Linear Programming, Semiconductor Manufacturing |
22 | Ramesh Ram, Madhu Chetty, Dieter Bulach |
Constraint Minimization for Efficient Modeling of Gene Regulatory Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIB ![In: Pattern Recognition in Bioinformatics, Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings, pp. 201-213, 2008, Springer, 978-3-540-88434-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Constraint minimization, Gene regulatory network, Causal model, Markov blanket |
22 | Gerhard Skagestein, Ragnar Normann |
A Closer Look at the Join-Equality Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops ![In: On the Move to Meaningful Internet Systems: OTM 2008 Workshops, OTM Confederated International Workshops and Posters, ADI, AWeSoMe, COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS, SEMELS, and SWWS 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings, pp. 780-786, 2008, Springer, 978-3-540-88874-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Join-equality constraint, Overlapping foreign keys, Boyce-Codd Normal Form |
22 | Ti Zhou, Zhoujun Li 0001, Mengjun Li, Huowang Chen |
Constraint Abstraction in Verification of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FAW ![In: Frontiers in Algorithmics, Second Annual International Workshop, FAW 2008, Changsha, China, June 19-21, 2008, Proceeedings, pp. 252-263, 2008, Springer, 978-3-540-69310-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
time sensitive, formal verification, security protocol, logic model, constraint system |
22 | Sonia Estévez Martín, Antonio J. Fernández 0001, Maria Teresa Hortalá-González, Mario Rodríguez-Artalejo, Fernando Sáenz-Pérez, Rafael del Vado Vírseda |
Cooperation of constraint domains in the TOY system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain, pp. 258-268, 2008, ACM, 978-1-60558-117-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
constraint domains and solvers, domain cooperation, functional and logic programming |
22 | Seema Degwekar, Herman Lam, Stanley Y. W. Su |
Constraint-based brokering (CBB) for publishing and discovery of web services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. ![In: Electron. Commer. Res. 7(1), pp. 45-67, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Constraint satisfaction processing, Web Services, UDDI, Service broker |
22 | David A. Burke, Kenneth N. Brown |
Using relaxations to improve search in distributed constraint optimisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. Rev. ![In: Artif. Intell. Rev. 28(1), pp. 35-50, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Distributed constraint optimisation, Multi-agent systems |
22 | Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith |
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(4), pp. 469-505, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model redundancy, Constraint satisfaction |
22 | Kun Jiang, Yang Gao, Xingfeng Lv, Yang Zhan |
Parallel algorithms on geometric constraint solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 778-779, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
intelligent CAD, under(over)-constrained problem, parallel algorithm, rule base, geometric constraint solving |
22 | Jie Wang, Chunnian Liu |
Fuzzy Constraint Logic Programming with Answer Set Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KSEM ![In: Knowledge Science, Engineering and Management, Second International Conference, KSEM 2007, Melbourne, Australia, November 28-30, 2007, Proceedings, pp. 52-60, 2007, Springer, 978-3-540-76718-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Logic Program, Fuzzy Constraint, Answer Set Semantics |
22 | Luiz Carlos A. Rodrigues, Leandro Magatão |
Enhancing Supply Chain Decisions Using Constraint Programming: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings, pp. 1110-1121, 2007, Springer, 978-3-540-76630-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
decision-support systems, constraint programming, Supply chain |
22 | Heribert Vollmer |
Computational Complexity of Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 748-757, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computational complexity, constraint satisfaction, polymorphism, clone, Galois connection, satisfiability problems |
22 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi 0001 |
Soft concurrent constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(3), pp. 563-589, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Constraints, soft constraints, concurrent constraint programming |
22 | K. Robert Lai, Yi-Yuan Chiang |
Constraint-Based Fuzzy Models for an Environment with Heterogeneous Information-Granules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(3), pp. 401-411, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
constraint-based problem solving, granular computing, fuzzy modeling, information granulation, computing with words |
22 | Syed Sibte Raza Abidi, Yong Han Chong, Yan Zeng |
Generating customized yet factually consistent information: a constraint satisfaction approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Digit. Libr. ![In: Int. J. Digit. Libr. 6(3), pp. 247-259, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Information customization, Information personalization, E-Healthcare, Constraint satisfaction, Adaptive hypermedia systems |
22 | Fabien Le Huédé, Michel Grabisch, Christophe Labreuche, Pierre Savéant |
Integration and propagation of a multi-criteria decision making model in constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Heuristics ![In: J. Heuristics 12(4-5), pp. 329-346, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Constraint programming, Multi-criteria decision making, Multi-criteria optimization |
22 | Samira Tasharofi, Sepand Ansari, Marjan Sirjani |
Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings, pp. 478-493, 2006, Springer, 3-540-47460-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
finite-state machine testing, symbiotic evolutionary algorithms, genetic algorithms, automatic test data generation, Constraint automata |
22 | Stefan S. Dantchev, Florent R. Madelaine |
Bounded-Degree Forbidden Patterns Problems Are Constraint Satisfaction Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings, pp. 159-170, 2006, Springer, 3-540-34166-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Constraint Satisfaction, Duality, Monadic Second Order Logic, Logic in Computer Science, Graph Homomorphism |
22 | Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab |
Compositional Semantics of an Actor-Based Language Using Constraint Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 281-297, 2006, Springer, 3-540-34694-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Rebeca, Compositional semantics, Reo, Constraint Automata, actor model |
22 | Koenraad Mertens, Tom Holvoet, Yolande Berbers |
The DynCOAA algorithm for dynamic constraint optimization problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8-12, 2006, pp. 1421-1423, 2006, ACM, 1-59593-303-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
dynamic, distributed constraint optimization, ACO |
22 | Rasmus V. Rasmussen, Michael A. Trick |
The Timetable Constrained Distance Minimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings, pp. 167-181, 2006, Springer, 3-540-34306-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Sports scheduling, Integer Programming, Constraint Programming, Timetabling |
22 | Gabriel Istrate, Stefan Boettcher, Allon G. Percus |
Spines of random constraint satisfaction problems: definition and connection with computational complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 44(4), pp. 353-372, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
resolution complexity, constraint satisfaction problems, phase transitions, spine |
22 | Ke Wang 0001, Yuelong Jiang, Jeffrey Xu Yu, Guozhu Dong, Jiawei Han 0001 |
Divide-and-Approximate: A Novel Constraint Push Strategy for Iceberg Cube Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 17(3), pp. 354-368, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Aggregate constraint, constrained data mining, iceberg cube mining, iceberg query, data cube |
22 | Martin C. Cooper |
High-Order Consistency in Valued Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(3), pp. 283-305, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
discrete optimisation, valued constraint satisfaction, consistency enforcing, MAX-CSP, soft constraints |
22 | Gérard Verfaillie, Narendra Jussien |
Constraint Solving in Uncertain and Dynamic Environments: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(3), pp. 253-281, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
stability, robustness, uncertainty, flexibility, constraint satisfaction problem, change |
22 | José Luis Ambite, Craig A. Knoblock, Maria Muslea, Steven Minton |
Conditional Constraint Networks for Interleaved Planning and Information Gathering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 20(2), pp. 25-33, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
mixed-initiative planning, conditional constraint satisfaction, hierarchical planning, data integration |
22 | Tony Lambert, Éric Monfroy, Frédéric Saubion |
Solving strategies using a hybridization model for local search and constraint propagation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 398-403, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
hybrid resolution, local search, CSP, constraint propagation |
22 | Mihaela Butaru, Zineb Habbas |
Solving the Car-Sequencing Problem as a Non-binary CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 840, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
n-ary CSPs, n-ary Forward Checking, scheduling, heuristics, constraint satisfaction, problem solving |
22 | Louis-Martin Rousseau, Michel Gendreau, Gilles Pesant, Filippo Focacci |
Solving VRPTWs with Constraint Programming Based Column Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 130(1-4), pp. 199-216, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
vehicle routing with time windows, constraint programming, column generation, hybrid method, optimization constraints |
22 | Marco Correia, Pedro Barahona |
Machine Learned Heuristics to Improve Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 103-113, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
machine learning, bioinformatics, constraint programming |
22 | Carlos Camarão 0001, Lucília Figueiredo, Cristiano D. Vasconcellos |
Constraint-set satisfiability for overloading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 67-77, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constrained polymorphism, constraint-set satisfiability, overloading, type constraints, ad-hoc polymorphism |
22 | Yun-Heh Chen-Burger, Kit-Ying Hui, Alun D. Preece, Peter M. D. Gray, Austin Tate |
Supporting Collaboration Through Semantic-Based Workflow and Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Engineering Knowledge in the Age of the Semantic Web, 14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004, Proceedings, pp. 487-488, 2004, Springer, 3-540-23340-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
IDEF3, NIST PSL, Ontology, Semantic Web, Constraint Satisfaction, Business Process Modelling, Semantic Grid, Virtual Organisation |
22 | Jeremy Frank, Ari K. Jónsson |
Constraint-Based Attribute and Interval Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 8(4), pp. 339-364, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
dynamic constraint reasoning, consistency enforcement, temporal planning, planning, resources |
22 | Marion Leleu, Christophe Rigotti, Jean-François Boulicaut, Guillaume Euvrard |
Constraint-Based Mining of Sequential Patterns over Datasets with Consecutive Repetitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Knowledge Discovery in Databases: PKDD 2003, 7th European Conference on Principles and Practice of Knowledge Discovery in Databases, Cavtat-Dubrovnik, Croatia, September 22-26, 2003, Proceedings, pp. 303-314, 2003, Springer, 3-540-20085-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
generalized occurrence, sequential pattern, constraint-based mining |
22 | Laurent Granvilliers, Éric Monfroy |
Implementing Constraint Propagation by Composition of Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings, pp. 300-314, 2003, Springer, 3-540-20642-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
chaotic iteration, dynamic strategy, software architecture, design pattern, composition, Constraint propagation |
22 | Xiao-Shan Gao, Gui-Fang Zhang |
Classification and Solving of Merge Patterns in Geometric Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Shape Modeling International ![In: 2003 International Conference on Shape Modeling and Applications (SMI 2003), 12-16 May 2003, Seoul, Korea, pp. 89-98, 2003, IEEE Computer Society, 0-7695-1909-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
parametric CAD, generalized construction sequence, basic merge pattern, assembly, Geometric constraint solving |
22 | Xiao-Shan Gao, Christoph M. Hoffmann, Wei-Qiang Yang |
Solving spatial basic geometric constraint configurations with locus intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Seventh ACM Symposium on Solid Modeling and Applications, Max-Planck-Institut für Informatik, Saarbrücken, Germany, June 17-21, 2002, pp. 95-104, 2002, ACM, 1-58113-506-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
locus intersection, parametric CAD, spatial basic configuration, geometric constraint solving |
22 | Stefan Ratschan |
Continuous First-Order Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 181-195, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Reasoning, Constraint Programming |
22 | Amal de Silva |
Combining Constraint Programming and Linear Programming on an Example of Bus Driver Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 108(1-4), pp. 277-291, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
bus driver scheduling, constraint programming, column generation |
22 | Alessandra Raffaetà, Thom W. Frühwirth |
Spatio-temporal Annotated Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001, Las Vegas, Nevada, USA, March 11-12, 2001, Proceedings, pp. 259-273, 2001, Springer, 3-540-41768-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
constraint logic programming, Spatio-temporal reasoning, annotated logics |
22 | Yoshihiro Adachi |
Intellisheet: A Spreadsheet System Expanded by Including Constraint Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 173-179, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
end-user programming environment, constraint programming, spreadsheet, declarative programming |
22 | Debasis Mitra 0003 |
Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings, pp. 602-611, 2001, Springer, 3-540-42219-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
AI application to design, Interactive Planning, Modeling for simulation, Intelligent software engineering, Intelligent interfaces, Planning and scheduling, Constraint-based reasoning, Component-oriented programming |
22 | Robert Joan-Arinyo, Nuria Mata, Antoni Soto-Riera |
A constraint solving-based approach to analyze 2D geometric problems with interval parometers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Sixth ACM Symposium on Solid Modeling and Applications, Sheraton Inn, Ann Arbor, Michigan, USA, June 4-8, 2001, pp. 11-17, 2001, ACM, 1-58113-366-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
constructive geometric constraint solving, global optimization, interval analysis |
22 | Esther M. Gelle, Boi Faltings, Denis E. Clément, Ian F. C. Smith |
Constraint Satisfaction Methods for Applications in Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 16(2), pp. 81-95, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
Discrete values, Dynamic CSP's, Solution spaces, Search, Knowledge representation, Constraint satisfaction, Reasoning, Structures, Local consistency |
22 | Krzysztof R. Apt |
The role of commutativity in constraint propagation algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(6), pp. 1002-1036, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
constraint propagation, commutativity, generic algorithms |
22 | Robert Joan-Arinyo, Antoni Soto-Riera |
Combining Constructive and Equational Geometric Constraint-Solving Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 18(1), pp. 35-55, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
constructive techniques, equational techniques, rewriting systems, geometric constraint solving, canonical forms |
22 | Ghassan Kwaiter |
A General Approach to Constraint Solving for Declarative Modeling Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 1999, London, England, UK, July 14-16, 1999, pp. 424-433, 1999, IEEE Computer Society, 0-7695-0210-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Hierarchical Constraints and Intervals Propagation, Constraint Satisfaction Problem, Declarative Modeling, Dynamical Constraints |
22 | Neng-Fa Zhou |
Building Java Applets by Using DJ - A Java-based Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 442-447, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
DJ, Java, Prolog, Layout, Constraint programming, Applet |
22 | Julio C. Peralta, John P. Gallagher, Hüseyin Saglam |
Analysis of Imperative Programs through Analysis of Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 246-261, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Imperative Program Analysis, Operational Semantics, Partial Evaluation, Constraint Logic Programming |
22 | Rita Cucchiara, Evelina Lamma, Paola Mello, Michela Milano |
An Interactive Constraint-Based System for Selective Attention in Visual Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 10th International Symposium, ISMIS '97, Charlotte, North Carolina, USA, October 15-18, 1997, Proceedings, pp. 431-440, 1997, Springer, 3-540-63614-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Computer Vision, Constraint Satisfaction |
22 | Peter Van Roy, Michael Mehl, Ralf Scheidhauer |
Integrating Efficient Records into Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, pp. 438-453, 1996, Springer, 3-540-61756-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Concurrent Constraint, Natural-Language Processing, Logic Programming, Prolog, Implementation, Record |
22 | Yuyan Wu, S. Sitharama Iyengar, Ramesh C. Jain, Santanu Bose |
A New Generalized Computational Framework for Finding Object Orientation Using Perspective Trihedral Angle Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 16(10), pp. 961-975, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
generalized computational framework, perspective trihedral angle constraint, three-dimensional 3D object, single perspective image view, Kanatani's formulation, general analytic technique, shape from inverse perspective projection, angle to angle correspondence information, computer vision, object orientation, noise, closed form solution, simulation experiments, synthetic data, noisy environment |
22 | Hans W. Guesgen, Joachim Hertzberg |
A constraint-based approach to spatiotemporal reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(1), pp. 71-90, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
spatiotemporal reasoning, Constraints, dynamic constraints, constraint relaxation |
22 | Hans-Hellmut Nagel |
On a Constraint Equation for the Estimation of Displacement Rates in Image Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 11(1), pp. 13-30, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
constraint equation, real world scenes, image flow, isotropic illumination, picture processing, picture processing, image sequences, optical flow, differential geometry, perspective projection, optical information processing, Lambertian reflection, radiometry |
22 | Malek Mouhoub, Amrudee Sukpan |
Managing Conditional and Composite CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Canadian AI ![In: Advances in Artificial Intelligence, 20th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2007, Montreal, Canada, May 28-30, 2007, Proceedings, pp. 216-227, 2007, Springer, 978-3-540-72664-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Local Search, Constraint Satisfaction, Arc Consistency |
22 | Yongmin Zhong, Bijan Shirinzadeh, Weiyin Ma |
Solid modelling in a virtual reality environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 21(1-2), pp. 17-40, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
constraint-based manipulations, virtual reality, solid modelling, model representation |
22 | James Bailey 0001, Peter J. Stuckey |
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings, pp. 174-186, 2005, Springer, 3-540-24362-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Minimal unsatisfiable sets, constraint solving, hitting sets, hypergraph transversals |
22 | Benjamin Han, Alon Lavie |
A framework for resolution of time in natural language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 3(1), pp. 11-32, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
temporal information processing, knowledge representation, temporal reasoning, constraint solving, computational semantics |
22 | Bradley T. Vander Zanden, David K. Baker, Jing Jin |
An explanation-based, visual debugger for one-way constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 17th Annual ACM Symposium on User Interface Software and Technology, Santa Fe, NM, USA, October 24-27, 2004, pp. 207-216, 2004, ACM, 1-58113-957-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
one-way constraints, data structures, constraint satisfaction, software visualization, visual debugging |
Displaying result #601 - #700 of 33126 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|