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