Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constraints » programming constraint, programming constrained, programming constructs
constraints constraint » constraints consistent
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constraints » programming constraint, programming constrained, programming constructs
constraints constraint » constraints consistent
1
Table of Contents:
“... fragments of CHR -- Expressive power of priorities in CHR -- Constraints in Clouds -- A Classification-based...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
2
Publicado 2005
Table of Contents:
“...Invited Papers -- Property Grammars: A Fully Constraint-Based Theory -- An Abductive Treatment...”Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“... CHR??? -- Constructing Rule-Based Solvers for Intentionally-Defined Constraints -- Implementing...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2007
Table of Contents:
“... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2013
Table of Contents:
“...The Role of Universal Constraints in Language Acquisition -- Building and Exploiting Constraint...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2005
Table of Contents:
“...Constraint Satisfaction -- Efficient Pruning Technique Based on Linear Relaxations -- Inter-block...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2005
Table of Contents:
“... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”Ligazón do recurso
Electrónico
eBook
8
por Mohammad Pour, Shahrzad
Publicado 2009
Subjects:
“...Computer algorithms...”Publicado 2009
Ligazón do recurso
Thesis
9
Publicado 2005
Table of Contents:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2008
Table of Contents:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2007
Table of Contents:
“... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2013
Table of Contents:
“... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2008
Table of Contents:
“... Satisfiability and Model-Checking -- On-the-Fly Techniques for Game-Based Software Model Checking -- Computing...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2006
Table of Contents:
“... Assistants -- Exploration of the Capabilities of Constraint Programming for Software Verification...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2005
Table of Contents:
“... Problem by a Self-consistent Basis Method -- RelView – An OBDD-Based Computer Algebra System for Relations...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2007
Table of Contents:
“...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2008
Table of Contents:
“... Integer Programs with Choices -- Upper Bounds on the Noise Threshold for Fault-Tolerant Quantum Computing...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2007
Table of Contents:
“... -- Equational Systems and Free Constructions (Extended Abstract) -- Categorical Views on Computations on Trees...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2014
Table of Contents:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Ligazón do recurso
Electrónico
eBook