Arama Sonuçları - intelligence transformation programming program constructing https

Şunu mu demek istediniz:
intelligence transformation » intelligent transportation , intelligence information , intelligence misinformation
transformation programming » transformations programming , transformation programme , transformation programmed
program constructing » program construction , diagram constructing , programs conducting
programming program » programming programmed , programming problem , programming problems
constructing https » construction https , consulting https , constructing better

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”
Tam Metin Erişim

Elektronik Ekitap

Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /

Baskı/Yayın Bilgisi 2007

İçindekiler: “... -- Constructing Consensus Logic Programs -- Partial Evaluation and Program Transformation -- Supervising Offline...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2008

İçindekiler: “... to Online Partial Evaluation -- Program Transformation -- Towards a Normal Form for Mercury Programs...”
Tam Metin Erişim

Elektronik Ekitap

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”
Tam Metin Erişim

Elektronik Ekitap

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”
Tam Metin Erişim

Elektronik Ekitap

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Tam Metin Erişim

Elektronik Ekitap

Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Programming Type-Safe Transformations Using Higher-Order Abstract Syntax -- Session 6: Security -- Formalizing...”
Tam Metin Erişim

Elektronik Ekitap

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Baskı/Yayın Bilgisi 2014

İçindekiler: “...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”
Tam Metin Erişim

Elektronik Ekitap

Compiler Construction 14th International Conference, CC 2005, Held as Part of the Joint European...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... Management Using Thread-Local Storage -- An Efficient On-the-Fly Cycle Collection -- Program Transformations...”
Tam Metin Erişim

Elektronik Ekitap

Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Formal Notation -- Improved Memory-Access Analysis for x86 Executables -- Analyses and Transformations...”
Tam Metin Erişim

Elektronik Ekitap

Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European...

Baskı/Yayın Bilgisi 2007

İçindekiler: “... in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve...”
Tam Metin Erişim

Elektronik Ekitap

Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European...

Baskı/Yayın Bilgisi 2006

İçindekiler: “...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”
Tam Metin Erişim

Elektronik Ekitap

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

Baskı/Yayın Bilgisi 2013

İçindekiler: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
Tam Metin Erişim

Elektronik Ekitap

Unifying Theories of Programming and Formal Engineering Methods International Training School...

Baskı/Yayın Bilgisi 2013

İçindekiler: “..., Optimization, Synthesis and Performance Evaluation of Real-Time Systems -- Unifying Theories of Programming...”
Tam Metin Erişim

Elektronik Ekitap

Logics in Artificial Intelligence 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Independence -- Non-Classical Logics Finitary S5-Theories -- Efficient Program Transformers for Translating LCC...”
Tam Metin Erişim

Elektronik Ekitap

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Intelligence Applications in Engineering Design -- A Prolog Based System That Assists Experts to Construct...”
Tam Metin Erişim

Elektronik Ekitap

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Tam Metin Erişim

Elektronik Ekitap

Intelligent Data Engineering and Automated Learning -- IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Related Transform -- Extracting Features from an Electrical Signal of a Non-Intrusive Load Monitoring...”
Tam Metin Erişim

Elektronik Ekitap

Intelligent Information Processing VII 8th IFIP TC 12 International Conference, IIP 2014, Hangzhou, China, October 17-20, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “...: Calibrating a Camera Using Multi-rectangle Constructed by Mark Lines in Traffic Road -- A Multi-instance Multi...”
Tam Metin Erişim

Elektronik Ekitap

Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP /

Yazar: Förster, Michael., Förster, Michael.
Baskı/Yayın Bilgisi 2014

İçindekiler: “... Transformation -- Transformation rules for Parallel Code Regions (e.g. OpenMP 3.1) -- Static Program Analysis....”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt