1
Julkaistu 2014
Sisällysluettelo: ... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...
Hae kokoteksti
Elektroninen E-kirja
3
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
Julkaistu 2010
Sisällysluettelo: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
Hae kokoteksti
Elektroninen E-kirja
5
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
Julkaistu 2013
Sisällysluettelo: ... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ...Invited Talks -- Simulation, Modeling and Programming for Autonomous Robots: The Open Source...
Hae kokoteksti
Elektroninen E-kirja
8
Julkaistu 2005
Sisällysluettelo: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
Hae kokoteksti
Elektroninen E-kirja
9
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
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
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
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
Julkaistu 2007
Sisällysluettelo: ... with a Low-Level Hybridization of Ants and Constraint Programming -- Profitability Comparison Between Gas...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2010
Sisällysluettelo: ...-Scale Global Optimization Using Cooperative Coevolution with Variable Interaction Learning -- EvoShelf...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2010
Sisällysluettelo: ... Optimization Problem by Constraint Optimization -- Enhancing Diversity for Average Ranking Method...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2015
Sisällysluettelo: ... Theory for the Internet of Things -- Program Verification -- Learning Assertions to Verify Linked-List...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2014
Sisällysluettelo: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
Hae kokoteksti
Elektroninen E-kirja
18
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
Julkaistu 2008
Sisällysluettelo: ... -- Visual Programming with Interaction Nets -- Theoretical Aspects -- Spider Diagrams of Order and a...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2012
Sisällysluettelo: ... to Software Product Line Architectures: Lessons Learned -- Problem-Specific Search Operators for Metaheuristic...
Hae kokoteksti
Elektroninen E-kirja