Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constraint » programming constrained, programming unconstrained, programming constructs
constraint constraint » constraints constraint, constraints constrained, concurrent constraint
constraint a » constraint _, constraint based
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constraint » programming constrained, programming unconstrained, programming constructs
constraint constraint » constraints constraint, constraints constrained, concurrent constraint
constraint a » constraint _, constraint based
1
Sisällysluettelo:
“... fragments of CHR -- Expressive power of priorities in CHR -- Constraints in Clouds -- A Classification-based...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”Hae kokoteksti
Elektroninen
E-kirja
3
Julkaistu 2008
Sisällysluettelo:
“... Probabilistic Abductive Logic Programming with Constraint Handling Rules -- A Compositional Semantics for CHR...”Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2007
Sisällysluettelo:
“... Constraint Programs Transparently -- MiniZinc: Towards a Standard CP Modelling Language -- Propagation = Lazy...”Hae kokoteksti
Elektroninen
E-kirja
5
Julkaistu 2013
Sisällysluettelo:
“...The Role of Universal Constraints in Language Acquisition -- Building and Exploiting Constraint...”Hae kokoteksti
Elektroninen
E-kirja
6
Julkaistu 2005
Sisällysluettelo:
“... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...”Hae kokoteksti
Elektroninen
E-kirja
7
Julkaistu 2008
Sisällysluettelo:
“... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”Hae kokoteksti
Elektroninen
E-kirja
8
Julkaistu 2005
Sisällysluettelo:
“... Explanation-Based Constraint Programming -- A Hybrid Algorithm for a Class of Resource Constrained Scheduling...”Hae kokoteksti
Elektroninen
E-kirja
9
Tekijä Mohammad Pour, Shahrzad
Julkaistu 2009
Aiheet:
“...Computer algorithms...”Julkaistu 2009
Hae kokoteksti
Opinnäyte
10
Julkaistu 2012
Sisällysluettelo:
“... Constituent Order -- A Formal Deconstruction of Fluid Construction Grammar -- A Logic Programming Approach...”Hae kokoteksti
Elektroninen
E-kirja
11
Julkaistu 2007
Sisällysluettelo:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”Hae kokoteksti
Elektroninen
E-kirja
12
Julkaistu 2013
Sisällysluettelo:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Hae kokoteksti
Elektroninen
E-kirja
13
Julkaistu 2008
Sisällysluettelo:
“... of Concurrent Programs Under a Context Bound -- Context-Bounded Analysis of Concurrent Queue Systems...”Hae kokoteksti
Elektroninen
E-kirja
14
Julkaistu 2006
Sisällysluettelo:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”Hae kokoteksti
Elektroninen
E-kirja
15
Julkaistu 2005
Sisällysluettelo:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”Hae kokoteksti
Elektroninen
E-kirja
16
Julkaistu 2007
Sisällysluettelo:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”Hae kokoteksti
Elektroninen
E-kirja
17
Julkaistu 2008
Sisällysluettelo:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”Hae kokoteksti
Elektroninen
E-kirja
18
Julkaistu 2008
Sisällysluettelo:
“... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”Hae kokoteksti
Elektroninen
E-kirja
19
Julkaistu 2007
Sisällysluettelo:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Hae kokoteksti
Elektroninen
E-kirja
20
Julkaistu 2014
Sisällysluettelo:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Hae kokoteksti
Elektroninen
E-kirja