Resultados da pesquisa - programs unification https functioning using https

Pesquisas alternativas:
programs unification » programs verification , programs specification , program specification
unification https » modification https , unification stathis , fiction https
https functioning » status functioning , its functioning , high functioning
functioning using » function using , functions using , functioning among
using https » using http , nursing https , aging https

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

Publicado em 2005

Sumário: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... Networks -- Multi-class Prediction Using Stochastic Logic Programs -- Structuring Natural Language Data...”
Obter o texto integral

Recurso Electrónico livro electrónico

Programming Language Concepts

Por Sestoft, Peter., Sestoft, Peter.
Publicado em 2012

Sumário: “... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Functional Programs -- Denotation by Transformation -- Constraint Solving and Analysis -- Generation of Rule...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... and Testing of Mathematical Functions -- Using AOP for Discovering and Defining Executable Test Cases...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2010

Sumário: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... -- Functional-Logic Graph Parser Combinators -- Proving Quadratic Derivational Complexities Using Context...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2015

Sumário: “... in Graph Using SMT for Automatic Clock Routing -- Cutting the Mix -- The Inez Mathematical Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

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...

Publicado em 2008

Sumário: “... Unification Adoption -- Reducing Energy in Instruction Caches by Using Multiple Line Buffers with Prediction....”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Algorithms -- Using the TPTP Language for Writing Derivations and Finite Interpretations -- Session 2. Search...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “...Laws of Programming: The Algebraic Unification of Theories of Concurrency -- The Benefits...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”
Obter o texto integral

Recurso Electrónico livro electrónico

Microbial Stress Tolerance for Biofuels Systems Biology /

Publicado em 2012

Sumário: “...-based functional proteomics to improve microbes for biofuel production -- Unification of gene expression...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2012

Sumário: “... Learning Algorithm Using Linear Programming -- TrueSkill-Based Pairwise Coupling for Multi-class...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2012

Sumário: “... Video Stabilization -- Automatic Construction of Invariant Features Using Genetic Programming for Edge...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... -- Provenance Explorer – Customized Provenance Views Using Semantic Inferencing -- On How to Perform a Gold...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa