Search Results for - Narrowed by: Artificial Intelligence (incl. Robotics). - Numeric Computing.

Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings

2024-05-29T14:28:04Z

by Kleine Büning, Hans. editor.
http://dx.doi.org/10.1007/978-3-540-79719-7
Format: Electronic Resources

Artificial Evolution 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers

2024-05-29T14:28:04Z

by Monmarché, Nicolas. editor.
http://dx.doi.org/10.1007/978-3-540-79305-2
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

2024-05-29T14:28:04Z

by Perron, Laurent. editor.
http://dx.doi.org/10.1007/978-3-540-68155-7
Format: Electronic Resources

Computer Mathematics 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers

2024-05-29T14:28:04Z

by Kapur, Deepak. editor.
http://dx.doi.org/10.1007/978-3-540-87827-8
Format: Electronic Resources

Learning and Intelligent Optimization Second International Conference, LION 2007 II, Trento, Italy, December 8-12, 2007. Selected Papers

2024-05-29T14:28:04Z

by Maniezzo, Vittorio. editor.
http://dx.doi.org/10.1007/978-3-540-92695-5
Format: Electronic Resources

Complexity of Constraints An Overview of Current Research Themes

2024-05-29T14:28:04Z

by Creignou, Nadia. editor.
http://dx.doi.org/10.1007/978-3-540-92800-3
Format: Electronic Resources

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers

2024-05-29T14:28:04Z

by Fages, François. editor.
http://dx.doi.org/10.1007/978-3-540-89812-2
Format: Electronic Resources

Computers and Games 6th International Conference, CG 2008, Beijing, China, September 29 - October 1, 2008. Proceedings

2024-05-29T14:28:04Z

by Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/978-3-540-87608-3
Format: Electronic Resources

Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings

2024-05-29T14:28:04Z

by Autexier, Serge. editor.
http://dx.doi.org/10.1007/978-3-540-85110-3
Format: Electronic Resources

Ant Colony Optimization and Swarm Intelligence 6th International Conference, ANTS 2008, Brussels, Belgium, September 22-24, 2008. Proceedings

2024-05-29T14:28:04Z

by Dorigo, Marco. editor.
http://dx.doi.org/10.1007/978-3-540-87527-7
Format: Electronic Resources

Evolutionary Algorithms for Solving Multi-Objective Problems Second Edition

2024-05-29T14:28:04Z

by Coello, Carlos A. Coello. author.
http://dx.doi.org/10.1007/978-0-387-36797-2
Format: Electronic Resources

Practice and Theory of Automated Timetabling VI 6th International Conference, PATAT 2006 Brno, Czech Republic, August 30–September 1, 2006 Revised Selected Papers

2024-05-29T14:28:04Z

by Burke, Edmund K. editor.
http://dx.doi.org/10.1007/978-3-540-77345-0
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007. Proceedings

2024-05-29T14:28:04Z

by Obayashi, Shigeru. editor.
http://dx.doi.org/10.1007/978-3-540-70928-2
Format: Electronic Resources

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

2024-05-29T14:28:04Z

by Azevedo, Francisco. editor.
http://dx.doi.org/10.1007/978-3-540-73817-6
Format: Electronic Resources

Computers and Games 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers

2024-05-29T14:28:04Z

by Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/978-3-540-75538-8
Format: Electronic Resources

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

2024-05-29T14:28:04Z

by Hentenryck, Pascal. editor.
http://dx.doi.org/10.1007/978-3-540-72397-4
Format: Electronic Resources

Algorithmic Methods for Railway Optimization International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

2024-05-29T14:28:04Z

by Geraets, Frank. editor.
http://dx.doi.org/10.1007/978-3-540-74247-0
Format: Electronic Resources

Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

2024-05-29T14:28:04Z

by Marques-Silva, João. editor.
http://dx.doi.org/10.1007/978-3-540-72788-0
Format: Electronic Resources

Scale Space and Variational Methods in Computer Vision First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

2024-05-29T14:28:04Z

by Sgallari, Fiorella. editor.
http://dx.doi.org/10.1007/978-3-540-72823-8
Format: Electronic Resources

Hybrid Metaheuristics 4th International Workshop, HM 2007, Dortmund, Germany, October 8-9, 2007. Proceedings

2024-05-29T14:28:04Z

by Bartz-Beielstein, Thomas. editor.
http://dx.doi.org/10.1007/978-3-540-75514-2
Format: Electronic Resources

Computers and Games 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

2024-05-29T14:28:04Z

by Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/11674399
Format: Electronic Resources

Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers

2024-05-29T14:28:04Z

by Hnich, Brahim. editor.
http://dx.doi.org/10.1007/11754602
Format: Electronic Resources

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

2024-05-29T14:28:04Z

by Beck, J. Christopher. editor.
http://dx.doi.org/10.1007/11757375
Format: Electronic Resources

Hybrid Metaheuristics Third International Workshop, HM 2006 Gran Canaria, Spain, October 13-14, 2006 Proceedings

2024-05-29T14:28:04Z

by Almeida, Francisco. editor.
http://dx.doi.org/10.1007/11890584
Format: Electronic Resources

Ant Colony Optimization and Swarm Intelligence 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings

2024-05-29T14:28:04Z

by Dorigo, Marco. editor.
http://dx.doi.org/10.1007/11839088
Format: Electronic Resources

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings

2024-05-29T14:28:04Z

by Calmet, Jacques. editor.
http://dx.doi.org/10.1007/11856290
Format: Electronic Resources

Advances in Computer Games 11th International Conference, ACG 2005, Taipei, Taiwan, September 6-9, 2005. Revised Papers

2024-05-29T14:28:04Z

by Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/11922155
Format: Electronic Resources

Artificial Evolution 7th International Conference, Evolution Artificielle, EA 2005, Lille, France, October 26-28, 2005, Revised Selected Papers

2024-05-29T14:28:04Z

by Talbi, El-Ghazali. editor.
http://dx.doi.org/10.1007/11740698
Format: Electronic Resources

Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

2024-05-29T14:28:04Z

by Biere, Armin. editor.
http://dx.doi.org/10.1007/11814948
Format: Electronic Resources

Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

2024-05-29T14:28:04Z

by Faltings, Boi V. editor.
http://dx.doi.org/10.1007/b106890
Format: Electronic Resources

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings

2024-05-29T14:28:04Z

by Barták, Roman. editor.
http://dx.doi.org/10.1007/b136920
Format: Electronic Resources

Practice and Theory of Automated Timetabling V 5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers

2024-05-29T14:28:04Z

by Burke, Edmund. editor.
http://dx.doi.org/10.1007/11593577
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

2024-05-29T14:28:04Z

by Hoos, Holger H. editor.
http://dx.doi.org/10.1007/11527695
Format: Electronic Resources

Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings

2024-05-29T14:28:04Z

by Bacchus, Fahiem. editor.
http://dx.doi.org/10.1007/b137280
Format: Electronic Resources

Hybrid Metaheuristics Second International Workshop, HM 2005, Barcelona, Spain, August 29-30, 2005. Proceedings

2024-05-29T14:28:04Z

by Blesa, María J. editor.
http://dx.doi.org/10.1007/11546245
Format: Electronic Resources

Computer Algebra and Geometric Algebra with Applications 6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004, Revised Selected Papers

2024-05-29T14:28:04Z

by Li, Hongbo. editor.
http://dx.doi.org/10.1007/b137294
Format: Electronic Resources

Differential Evolution A Practical Approach to Global Optimization

2024-05-29T14:28:04Z

by Price, Kenneth V. author.
http://dx.doi.org/10.1007/3-540-31306-0
Format: Electronic Resources

Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005. Proceedings

2024-05-29T14:28:04Z

by Coello Coello, Carlos A. editor.
http://dx.doi.org/10.1007/b106458
Format: Electronic Resources

Scale Space and PDE Methods in Computer Vision 5th International Conference, Scale-Space 2005, Hofgeismar, Germany, April 7-9, 2005. Proceedings

2024-05-29T14:28:04Z

by Kimmel, Ron. editor.
http://dx.doi.org/10.1007/b107185
Format: Electronic Resources

Spatially Structured Evolutionary Algorithms Artificial Evolution in Space and Time

2024-05-29T14:28:04Z

by Tomassini, Marco. author.
http://dx.doi.org/10.1007/3-540-29938-6
Format: Electronic Resources