Søgeresultater - program computing https functionals planning https

1

Programming Logics Essays in Memory of Harald Ganzinger /

Udgivet 2013

Indholdsfortegnelse: “... Programming: From Theory to Curry -- From Search to Computation: Redundancy Criteria and Simplification...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2006

Indholdsfortegnelse: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Få fuldtekst

Electronisk eBog

3

Introduction to Stochastic Programming

af Birge, John R., Birge, John R., Louveaux, François.
Udgivet 2011

Indholdsfortegnelse: “... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2005

Indholdsfortegnelse: “... -- Trajectory Planning Applied to the Estimation of Cardiac Activation Circuits -- A Functional Heart Model...”
Få fuldtekst

Electronisk eBog

5

Constraint Solving and Planning with Picat

af Zhou, Neng-Fa., Zhou, Neng-Fa., Kjellerstrand, Håkan., Fruhman, Jonathan.
Udgivet 2015

Indholdsfortegnelse: “... Programming with Tabling -- From Dynamic Programming to Planning -- Planning with Resource-Bounded Search...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2013

Indholdsfortegnelse: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2010

Indholdsfortegnelse: “... Monte-Carlo Tree Search Algorithm -- Monte-Carlo Tree Search in Settlers of Catan -- Evaluation Function...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2008

Indholdsfortegnelse: “... in GSM Networks -- Adaptive Local Search for a New Military Frequency Hopping Planning Problem -- SS vs...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2008

Indholdsfortegnelse: “...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2007

Indholdsfortegnelse: “... by Learning Rewriting Rules -- An Efficient Algorithm for Computing Kernel Function Defined with Anti...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2008

Indholdsfortegnelse: “...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”
Få fuldtekst

Electronisk eBog

12

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

Udgivet 2010

Indholdsfortegnelse: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2008

Indholdsfortegnelse: “... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2007

Indholdsfortegnelse: “... in Transaction Logic -- Conditional Planning with External Functions -- Logic Programs with Abstract Constraints...”
Få fuldtekst

Electronisk eBog

15

Electronic Engineering and Computing Technology

Udgivet 2010

Indholdsfortegnelse: “... Without Prior Fault Data -- Models of Computation for Heterogeneous Embedded Systems -- A Quotient-Graph...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2013

Indholdsfortegnelse: “... Systems.-Laser Cutting Path Planning Using CP.-Atom Mapping with Constraint Programming.-Beyond...”
Få fuldtekst

Electronisk eBog

17

Innovations in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Få fuldtekst

Electronisk eBog

18

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

Udgivet 2008

Indholdsfortegnelse: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2007

Indholdsfortegnelse: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
Få fuldtekst

Electronisk eBog

20

Advanced Techniques in Computing Sciences and Software Engineering

Udgivet 2010

Indholdsfortegnelse: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning