You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Upper-division textbook covering foundations of constraint programming and applications to scheduling, optimisation etc.
This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003. The 23 revised full papers and 19 poster papers presented together with 5 invited full contributions and abstracts of 4 invited contributions were carefully reviewed and selected from 81 submissions. All current issues in logic programming are addressed.
This two-volume set CCIS 173 and CCIS 174 constitutes the extended abstracts of the posters presented during the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 12 other thematically similar conferences. A total of 4039 contributions was submitted to HCII 2011, of which 232 poster papers were carefully reviewed and selected for presentation as extended abstracts in the two volumes.
This book constitutes the refereed proceedings of the 5th International Conference on Principles and Practice of Constraint Programmingm CP'99, held in Alexandria, Virginia, USA in October 1999. The 30 revised full papers presented together with three invited papers and eight posters were carefully reviewed and selected for inclusion in the book from a total of 97 papers submitted. All current aspects of constraint programming and applications in various areas are addressed.
This book constitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held in Vienna, Austria, in September 2005. The 19 revised full papers presented including 2 system descriptions were carefully reviewed and selected from 28 submissions. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
This is the first of a two-volume set (CCIS 434 and CCIS 435) that constitutes the extended abstracts of the posters presented during the 16th International Conference on Human-Computer Interaction, HCII 2014, held in Heraklion, Crete, Greece in June 2014, and consisting of 14 thematic conferences. The total of 1476 papers and 220 posters presented at the HCII 2014 conferences were carefully reviewed and selected from 4766 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major adva...
This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001. The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields.
The two volume set LNAI 6703 and LNAI 6704 constitutes the thoroughly refereed conference proceedings of the 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, held in Syracuse, NY, USA, in June/July 2011. The total of 92 papers selected for the proceedings were carefully reviewed and selected from 206 submissions. The papers cover a wide number of topics including feature extraction, discretization, clustering, classification, diagnosis, data refinement, neural networks, genetic algorithms, learning classifier systems, Bayesian and probabilistic methods, image processing, robotics, navigation, optimization, scheduling, routing, game theory and agents, cognition, emotion, and beliefs.
This book constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007. It contains 51 revised full papers and 14 revised short papers presented together with eight application papers and the abstracts of two invited lectures. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects to solving real-world problems in various application fields.
This is the first of a two-volume set (CCIS 373 and CCIS 374) that constitutes the extended abstracts of the posters presented during the 15th International Conference on Human-Computer Interaction, HCII 2013, held in Las Vegas, USA, in July 2013, jointly with 12 other thematically similar conferences. The total of 1666 papers and 303 posters presented at the HCII 2013 conferences was carefully reviewed and selected from 5210 submissions. These papers address the latest research and development efforts and highlight the human aspects of design and use of computing systems. The papers accepted for presentation thoroughly cover the entire field of human-computer interaction, addressing major a...