Search Results - program computing https functionality planning https

1

Programming Logics Essays in Memory of Harald Ganzinger /

Published 2013

Table of Contents: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”
View full text

Electronic eBook

2

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

3

Introduction to Stochastic Programming

by Birge, John R., Birge, John R., Louveaux, François.
Published 2011

Table of Contents: “... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
View full text

Electronic eBook

4

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Trajectory Planning Applied to the Estimation of Cardiac Activation Circuits -- A Functional Heart Model...”
View full text

Electronic eBook

5

Constraint Solving and Planning with Picat

by Zhou, Neng-Fa., Zhou, Neng-Fa., Kjellerstrand, Håkan., Fruhman, Jonathan.
Published 2015

Table of Contents: “... Programming with Tabling -- From Dynamic Programming to Planning -- Planning with Resource-Bounded Search...”
View full text

Electronic eBook

6

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings /

Published 2013

Table of Contents: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
View full text

Electronic eBook

7

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona, Spain, May 11-13, 2009, Revised Papers /

Published 2010

Table of Contents: “... Monte-Carlo Tree Search Algorithm -- Monte-Carlo Tree Search in Settlers of Catan -- Evaluation Function...”
View full text

Electronic eBook

8

Applications of Evolutionary Computing EvoWorkshops 2008: EvoCOMNET, EvoFIN, EvoHOT, EvoIASP, EvoMUSART, EvoNUM, EvoSTOC, and EvoTransLog /

Published 2008

Table of Contents: “... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...”
View full text

Electronic eBook

9

Principles and Practice of Constraint Programming 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /

Published 2008

Table of Contents: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
View full text

Electronic eBook

10

Inductive Logic Programming 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006, Revised Selected Papers /

Published 2007

Table of Contents: “... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...”
View full text

Electronic eBook

11

Logic, Language, Information and Computation 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /

Published 2008

Table of Contents: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
View full text

Electronic eBook

12

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

Published 2010

Table of Contents: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
View full text

Electronic eBook

13

Agile Processes in Software Engineering and Extreme Programming 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
View full text

Electronic eBook

14

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings /

Published 2007

Table of Contents: “... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...”
View full text

Electronic eBook

15

Electronic Engineering and Computing Technology

Published 2010

Table of Contents: “... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”
View full text

Electronic eBook

16

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Published 2013

Table of Contents: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
View full text

Electronic eBook

17

Innovations in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
View full text

Electronic eBook

18

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Published 2008

Table of Contents: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
View full text

Electronic eBook

19

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

Published 2007

Table of Contents: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
View full text

Electronic eBook

20

Advanced Techniques in Computing Sciences and Software Engineering

Published 2010

Table of Contents: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
View full text

Electronic eBook

Narrow Search