Hakutulokset - interactive learning program ((program constraint) OR (problem constraint)) https

1

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

Julkaistu 2014

Sisällysluettelo: “... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”
Hae kokoteksti

Elektroninen E-kirja

2

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

Julkaistu 2013

Sisällysluettelo: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2014

Sisällysluettelo: “... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2010

Sisällysluettelo: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2015

Sisällysluettelo: “... Satisfaction Problems with Answer Set Programming -- _Add Another Blue Stack of the Same Height!_: Plan Failure...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2013

Sisällysluettelo: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2008

Sisällysluettelo: “...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2005

Sisällysluettelo: “... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2007

Sisällysluettelo: “... for Boosting -- K-Means with Large and Noisy Constraint Sets -- Towards ‘Interactive’ Active Learning in Multi...”
Hae kokoteksti

Elektroninen E-kirja

10

Interactive Multi-modal Question-Answering

Julkaistu 2011

Sisällysluettelo: “... Schooten and Rieks op den Akker -- Part II Interaction Management -- Vidiam: Corpus-based Development of a...”
Hae kokoteksti

Elektroninen E-kirja

11

Authentic Professional Learning Making a Difference Through Learning at Work /

Tekijä Webster-Wright, Ann., Webster-Wright, Ann.
Julkaistu 2010

Sisällysluettelo: “... journey -- 6.2.2 Being Mary: Learning as problem solving -- 6.2.3 Being Olivia: Learning as personal...”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2008

Sisällysluettelo: “... Constraint-Based Modelling to Describe the Solution Space of Ill-defined Problems in Logic Programming -- A...”
Hae kokoteksti

Elektroninen E-kirja

13

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

Julkaistu 2007

Sisällysluettelo: “... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...”
Hae kokoteksti

Elektroninen E-kirja

14

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Julkaistu 2010

Sisällysluettelo: “...-Scale Global Optimization Using Cooperative Coevolution with Variable Interaction Learning -- EvoShelf...”
Hae kokoteksti

Elektroninen E-kirja

15

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part I /

Julkaistu 2010

Sisällysluettelo: “... Optimization Problem by Constraint Optimization -- Enhancing Diversity for Average Ranking Method...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2015

Sisällysluettelo: “... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2014

Sisällysluettelo: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Hae kokoteksti

Elektroninen E-kirja

18

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

Julkaistu 2010

Sisällysluettelo: “...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”
Hae kokoteksti

Elektroninen E-kirja

19

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

Julkaistu 2008

Sisällysluettelo: “... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”
Hae kokoteksti

Elektroninen E-kirja

20

Search Based Software Engineering Fourth International Symposium, SSBSE 2012, Riva del Garda, September 28-30, 2012, Proceedings /

Julkaistu 2012

Sisällysluettelo: “... to Software Product Line Architectures: Lessons Learned -- Problem-Specific Search Operators for Metaheuristic...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua