Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
interactive application » interactive applications, interaction applications, interactions application
programmed constraints » programming constraints, programs constraints, programming constraint
application program » application programming, application protocol
program programmed » program program, programming programmed, programmes programme
constraints data » constraints a, constraints based, constraints _
interactive application » interactive applications, interaction applications, interactions application
programmed constraints » programming constraints, programs constraints, programming constraint
application program » application programming, application protocol
program programmed » program program, programming programmed, programmes programme
constraints data » constraints a, constraints based, constraints _
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 2008
Sisällysluettelo:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2007
Sisällysluettelo:
“... for Constraint Satisfaction Problems -- On the Power of k-Consistency -- Complexity of Propositional Proofs Under...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2015
Sisällysluettelo:
“... -- Solving Linear Programming with Constraints Unknown -- Deterministic Randomness Extraction from...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2014
Sisällysluettelo:
“... and Their Applications -- On the Complexity of Trial and Error for Constraint Satisfaction Problems -- Information...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2008
Sisällysluettelo:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2005
Sisällysluettelo:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”Hae kokoteksti
Elektroninen
E-kirja
9
Julkaistu 2013
Sisällysluettelo:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”Hae kokoteksti
Elektroninen
E-kirja
10
Julkaistu 2008
Sisällysluettelo:
“... in Cognitive Systems Architectures -- Full Papers -- Application of Naturalistic Decision Making to Emergency...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2005
Sisällysluettelo:
“...EvoBIO Contributions -- Evolutionary Biclustering of Microarray Data -- A Fuzzy Viterbi Algorithm...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2008
Sisällysluettelo:
“... Automated Trading -- Genetic Programming in Statistical Arbitrage -- Evolutionary System for Generating...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2005
Sisällysluettelo:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2010
Sisällysluettelo:
“...Invited Papers -- Human Habitat Data in 3D for the Internet -- I: Computer Graphics Theory...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2008
Sisällysluettelo:
“... Microarray Data -- Incorporating Knowledge of Topology Improves Reconstruction of Interaction Networks from...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2012
Sisällysluettelo:
“... -- Metaheuristics for Tuning Model Parameters in Two Natural Language Processing Applications -- Clustering a Very...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2010
Sisällysluettelo:
“... Application Data Management in Mobile RFID Environment -- A Query Answering Greedy Algorithm for Selecting...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2010
Sisällysluettelo:
“... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2010
Sisällysluettelo:
“... for the Unrelated Parallel Machine Scheduling Problem -- Aiding Interactive Configuration and Planning: A Constraint...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2015
Sisällysluettelo:
“... Data Access -- NEXP-Completeness and Universal Hardness Results for Justification Logic -- A...”Hae kokoteksti
Elektroninen
E-kirja