Search Results - programs unification https function using https

1

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
View full text

Electronic eBook

2

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

Published 2007

Table of Contents: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
View full text

Electronic eBook

3

Programming Language Concepts

by Sestoft, Peter., Sestoft, Peter.
Published 2012

Table of Contents: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
View full text

Electronic eBook

4

Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens...

Published 2008

Table of Contents: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
View full text

Electronic eBook

5

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Published 2008

Table of Contents: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
View full text

Electronic eBook

6

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
View full text

Electronic eBook

7

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Published 2010

Table of Contents: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
View full text

Electronic eBook

8

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Published 2008

Table of Contents: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
View full text

Electronic eBook

9

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /

Published 2008

Table of Contents: “... -- Functional-Logic Graph Parser Combinators -- Proving Quadratic Derivational Complexities Using Context...”
View full text

Electronic eBook

10

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...”
View full text

Electronic eBook

11

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Published 2008

Table of Contents: “... Unification Adoption -- Reducing Energy in Instruction Caches by Using Multiple Line Buffers with Prediction....”
View full text

Electronic eBook

12

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “... Algorithms -- Using the TPTP Language for Writing Derivations and Finite Interpretations -- Session 2. Search...”
View full text

Electronic eBook

13

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.

Published 2014

Table of Contents: “...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits...”
View full text

Electronic eBook

14

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Published 2006

Table of Contents: “... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”
View full text

Electronic eBook

15

Microbial Stress Tolerance for Biofuels Systems Biology /

Published 2012

Table of Contents: “...-based functional proteomics to improve microbes for biofuel production -- Unification of gene expression...”
View full text

Electronic eBook

16

Artificial Neural Networks and Machine Learning -- ICANN 2012 22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings...

Published 2012

Table of Contents: “... Learning Algorithm Using Linear Programming -- TrueSkill-Based Pairwise Coupling for Multi-class...”
View full text

Electronic eBook

17

AI 2012: Advances in Artificial Intelligence 25th International Australasian Joint Conference, Sydney, Australia, December 4-7, 2012, Proceedings /

Published 2012

Table of Contents: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
View full text

Electronic eBook

18

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006, Proceedings /

Published 2006

Table of Contents: “... -- Provenance Explorer – Customized Provenance Views Using Semantic Inferencing -- On How to Perform a Gold...”
View full text

Electronic eBook

Narrow Search