Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
evaluating programming » computing programming, exploring programming
services evaluating » services evaluation, service evaluation, devices evaluation
programming program » programming programmed, programming problem, programming problems
program constraints » programs constraints, progress constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
evaluating programming » computing programming, exploring programming
services evaluating » services evaluation, service evaluation, devices evaluation
programming program » programming programmed, programming problem, programming problems
program constraints » programs constraints, progress constraints, problem constraints
constraints https » constraints haptic, constraints data, constraints chap
1
Published 2010
Table of Contents:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“... Roommates and Constraint Programming -- Detecting and Exploiting Permutation Structures in MIPs -- Solving...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... of the Consistent Value Polytope for Binary Constraint Programming -- Undirected Forest Constraints -- Allocation...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“...Tutorial -- Hybrid Algorithms in Constraint Programming -- Technical Papers -- An Attempt...”View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... Programs -- Engineering an Incremental ASP Solver -- Concurrent and Local Evaluation of Normal Programs...”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... Algorithms -- Developmental Evaluation in Genetic Programming: The Preliminary Results -- Evolving Noisy...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Static Analysis to Detect Type Errors and Concurrency Defects in Erlang Programs -- Solving Constraint...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... in Cryptography -- Credentials-Based Authorization: Evaluation and Implementation -- Subexponential Parameterized...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... for the Tree Homeomorphism Problem -- Datalog Programs over Infinite Databases, Revisited -- XML Query...”View full text
Electronic
eBook
15
Published 2013
Table of Contents:
“... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... Constraint Programming -- The Problem of Assigning Evaluators to the Articles Submitted in an Academic Event...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... Programming -- Advances in WASP -- Improving Coordinated SMT-based System Synthesis by Utilizing Domain...”View full text
Electronic
eBook
18
Published 2011
Table of Contents:
“... Discovery, Orchestration and Recovery.-CC-Pi: A Constraint Language for Service Negotiation and Composition...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“...Towards Scalable Partial Evaluation of Declarative Programs -- Deciding Full Branching Time Logic...”View full text
Electronic
eBook
20
Published 2014
Table of Contents:
“... Portfolio using Genetic Programming-based Load Models -- Maintenance of a Long Running Distributed Genetic...”View full text
Electronic
eBook