Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming programmed » processing programmed
programmed constraints » programming constraints, programs constraints, programming constraint
interactive learning » active learning, effective learning, cooperative learning
learning programming » learning programme, planning programming, learning programmes
constraints https » constraints haptic, constraints data, constraints chap
programming programmed » processing programmed
programmed constraints » programming constraints, programs constraints, programming constraint
interactive learning » active learning, effective learning, cooperative learning
learning programming » learning programme, planning programming, learning programmes
constraints https » constraints haptic, constraints data, constraints chap
1
Publicado 2014
Table of Contents:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2013
Table of Contents:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2010
Table of Contents:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2008
Table of Contents:
“...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2015
Table of Contents:
“... Approach to Reason with Conditionals -- Interactive debugging of non-ground ASP programs -- Linking Open...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2005
Table of Contents:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2011
Table of Contents:
“... Schooten and Rieks op den Akker -- Part II Interaction Management -- Vidiam: Corpus-based Development of a...”Ligazón do recurso
Electrónico
eBook
10
Table of Contents:
“...PART A: INTRODUCTION. Prologue -- 1 -- Professional Learning at Work -- 1.1 Genesis of the Research...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
11
Publicado 2008
Table of Contents:
“... -- Assessing the Learners’ Motivation in the E-Learning Environments for Programming Education -- Using...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2007
Table of Contents:
“... for Boosting -- K-Means with Large and Noisy Constraint Sets -- Towards ‘Interactive’ Active Learning in Multi...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2015
Table of Contents:
“... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2014
Table of Contents:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2010
Table of Contents:
“...Machine Learning and Data Mining -- Towards a Conscious Choice of a Fuzzy Similarity Measure: A...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2008
Table of Contents:
“... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“... Techniques -- A Genetic Programming Environment for System Modeling -- Mining Gene Expression Profiles...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2010
Table of Contents:
“... -- MACRO-SYS: An Interactive Macroeconomics Simulator for Advanced Learning -- Managing Web Services...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2006
Table of Contents:
“... Routines Using Constraint Programming -- Deduction with Euler Circles: Diagrams That Hurt -- Diagrams...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“...-Invasive Man Machine Interaction -- A UML Profile for Developing Databases that Conform to the Third...”Ligazón do recurso
Electrónico
eBook