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