Search Results - interactive learning program programming constraint https

Search alternatives:
programming constraint » programming constrained , programming unconstrained , programming constructs
interactive learning » active learning , effective learning , cooperative learning
program programming » programs programming , programmer programming , pram programming
learning program » training program , learning problems , learning process
constraint https » constraint atoms , constraint graphs , constraint codes

Integration of AI and OR Techniques in Constraint Programming 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings /

Published 2014

Table of Contents: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
View full text

Electronic eBook

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
View full text

Electronic eBook

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”
View full text

Electronic eBook

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
View full text

Electronic eBook

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-7, 2008. Proceedings /

Published 2008

Table of Contents: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /

Published 2015

Table of Contents: “... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”
View full text

Electronic eBook

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
View full text

Electronic eBook

Interactive Multi-modal Question-Answering

Published 2011

Table of Contents: “... Schooten and Rieks op den Akker -- Part II Interaction Management -- Vidiam: Corpus-based Development of a...”
View full text

Electronic eBook

Authentic Professional Learning Making a Difference Through Learning at Work /

by Webster-Wright, Ann., Webster-Wright, Ann.
Published 2010

Table of Contents: “...PART A: INTRODUCTION. Prologue -- 1 -- Professional Learning at Work -- 1.1 Genesis of the Research...”
View full text

Electronic eBook

Advances in Web Based Learning - ICWL 2007 6th International Conference, Edinburgh, UK, August 15-17, 2007, Revised Papers /

Published 2008

Table of Contents: “... -- Assessing the Learners’ Motivation in the E-Learning Environments for Programming Education -- Using...”
View full text

Electronic eBook

Machine Learning: ECML 2007 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings /

Published 2007

Table of Contents: “... for Boosting -- K-Means with Large and Noisy Constraint Sets -- Towards ‘Interactive’ Active Learning in Multi...”
View full text

Electronic eBook

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Published 2015

Table of Contents: “... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”
View full text

Electronic eBook

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Published 2014

Table of Contents: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
View full text

Electronic eBook

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Published 2010

Table of Contents: “...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
View full text

Electronic eBook

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”
View full text

Electronic eBook

Intelligent Information and Database Systems Second International Conference, ACIIDS 2010, Hue City, Vietnam, March 24-26, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... -- MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning -- Managing Web Services...”
View full text

Electronic eBook

Diagrammatic Representation and Inference 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006, Proceedings /

Published 2006

Table of Contents: “... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”
View full text

Electronic eBook

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”
View full text

Electronic eBook

Narrow Search