Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
learning programming » learning programme, planning programming, learning programmes
integrated learning » integrated marketing, interactive learning
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
learning programming » learning programme, planning programming, learning programmes
integrated learning » integrated marketing, interactive learning
programming program » programming programmed, programming problem, programming problems
program constraint » programs constraints, problem constraint, diagram constraint
constraint https » constraint atoms, constraint graphs, constraint codes
1
Udgivet 2014
Indholdsfortegnelse:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2010
Indholdsfortegnelse:
“... with Constraint Programming -- Characterization and Automation of Matching-Based Neighborhoods -- Rapid Learning...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2008
Indholdsfortegnelse:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2007
Indholdsfortegnelse:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2013
Indholdsfortegnelse:
“... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2012
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2006
Indholdsfortegnelse:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2008
Indholdsfortegnelse:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2012
Indholdsfortegnelse:
“... Constraints -- Online Bayesian Inference for the Parameters of PRISM Programs -- Learning Compact Markov Logic...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2013
Indholdsfortegnelse:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2015
Indholdsfortegnelse:
“... for Inference in Probabilistic Logic Programming -- Multi-Level Algorithm Selection for ASP -- Clause-Learning...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2005
Indholdsfortegnelse:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“... -- Constraint Programming and Constraint Solving -- Effective Modeling with Constraints -- A Local Search System...”Få fuldtekst
Electronisk
eBog
14
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Udgivet 2006
Indholdsfortegnelse:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Få fuldtekst
Electronisk
eBog
15
16
Udgivet 2010
Indholdsfortegnelse:
“... Random Goal Constraints for Stochastic Fuzzy Goal Programming -- Logical Approaches to Uncertainty...”Få fuldtekst
Electronisk
eBog
17
Indholdsfortegnelse:
“...PART A: INTRODUCTION. Prologue -- 1 -- Professional Learning at Work -- 1.1 Genesis of the Research...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
Udgivet 2010
Indholdsfortegnelse:
“... to the Class Integration and Test Order Problem -- More Testable Properties -- Alternating Simulation and IOCO...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... Learning -- Robust Bayesian Linear Classifier Ensembles -- An Integrated Approach to Learning Bayesian...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2006
Indholdsfortegnelse:
“... Learning Revisited -- Reinforcement Learning for MDPs with Constraints -- Efficient Non-linear Control...”Få fuldtekst
Electronisk
eBog