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
Udgivet 2006
Indholdsfortegnelse: ... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...
Få fuldtekst
Electronisk eBog
15
af Hooker, John N., Hooker, John N.
Udgivet 2012
Indholdsfortegnelse: ... -- Dictionary of Constraints.     ....
Få fuldtekst
Electronisk eBog
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
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