Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programming planning » programming spanning, programming balancing, programme planning
function computing » education computing, generation computing
https function » its function, sites function, ups function
programming planning » programming spanning, programming balancing, programme planning
function computing » education computing, generation computing
https function » its function, sites function, ups function
1
Gepubliceerd in 2013
Inhoudsopgave:
“... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2006
Inhoudsopgave:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Volledige tekst
Elektronisch
E-boek
3
Inhoudsopgave:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Trajectory Planning Applied to the Estimation of Cardiac Activation Circuits -- A Functional Heart Model...”Volledige tekst
Elektronisch
E-boek
5
Inhoudsopgave:
“... Programming with Tabling -- From Dynamic Programming to Planning -- Planning with Resource-Bounded Search...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2010
Inhoudsopgave:
“... Monte-Carlo Tree Search Algorithm -- Monte-Carlo Tree Search in Settlers of Catan -- Evaluation Function...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2008
Inhoudsopgave:
“... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2013
Inhoudsopgave:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2008
Inhoudsopgave:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2008
Inhoudsopgave:
“...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2010
Inhoudsopgave:
“... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2010
Inhoudsopgave:
“... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2007
Inhoudsopgave:
“... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2010
Inhoudsopgave:
“... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2008
Inhoudsopgave:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2007
Inhoudsopgave:
“... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2013
Inhoudsopgave:
“... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2010
Inhoudsopgave:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2008
Inhoudsopgave:
“... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2007
Inhoudsopgave:
“... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”Volledige tekst
Elektronisch
E-boek