Arama Sonuçları - parallel programs https function extraction https*

1

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

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Tam Metin Erişim

Elektronik Ekitap

2

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Tam Metin Erişim

Elektronik Ekitap

3

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Tam Metin Erişim

Elektronik Ekitap

4

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Tam Metin Erişim

Elektronik Ekitap

5

DNA Cloning and Assembly Methods

Baskı/Yayın Bilgisi 2014

İçindekiler: “...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”
Tam Metin Erişim

Elektronik Ekitap

6

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Tam Metin Erişim

Elektronik Ekitap

7

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: “... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”
Tam Metin Erişim

Elektronik Ekitap

8

Innovations in Computing Sciences and Software Engineering

Baskı/Yayın Bilgisi 2010

İçindekiler: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
Tam Metin Erişim

Elektronik Ekitap

9

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Baskı/Yayın Bilgisi 2008

İçindekiler: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Tam Metin Erişim

Elektronik Ekitap

10

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Baskı/Yayın Bilgisi 2005

İçindekiler: “...-classification with Predictive Clustering Trees in Functional Genomics -- 6 – Extracting Knowledge from Databases...”
Tam Metin Erişim

Elektronik Ekitap

11

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

Yazar: Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Baskı/Yayın Bilgisi 2005

İçindekiler: “... Neighborhood Functions. Convolution. Morphology. Feature Extraction. Automatic Target Recognition. Image...”
Tam Metin Erişim

Elektronik Ekitap

12

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Baskı/Yayın Bilgisi 2008

İçindekiler: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
Tam Metin Erişim

Elektronik Ekitap

13

Data Warehousing and Knowledge Discovery 12th International Conference, DaWaK 2010, Bilbao, Spain, August 30 - September 2, 2010, Proceedings /

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...”
Tam Metin Erişim

Elektronik Ekitap

14

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

Baskı/Yayın Bilgisi 2010

İçindekiler: “...Large Scale Instance Selection by Means of a Parallel Algorithm -- Typed Linear Chain Conditional...”
Tam Metin Erişim

Elektronik Ekitap

15

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “... -- Concurrent Clause Strengthening -- Parallel MUS Extraction -- Maximum Satisfiability -- A Modular Approach...”
Tam Metin Erişim

Elektronik Ekitap

16

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Select...

Baskı/Yayın Bilgisi 2005

İçindekiler: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Tam Metin Erişim

Elektronik Ekitap

17

COMPSTAT 2008 Proceedings in Computational Statistics /

Baskı/Yayın Bilgisi 2008

İçindekiler: “...Keynote -- Nonparametric Methods for Estimating Periodic Functions, with Applications in Astronomy...”
Tam Metin Erişim

Elektronik Ekitap

18

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Baskı/Yayın Bilgisi 2014

İçindekiler: “... Programs Extraction -- Experience Implementing a Performant Category-Theory Library in Coq -- A New...”
Tam Metin Erişim

Elektronik Ekitap

19

LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006, Proceedings /

Baskı/Yayın Bilgisi 2006

İçindekiler: “... for Identity Based Encryption Schemes -- Optimally Adaptive Integration of Univariate Lipschitz Functions...”
Tam Metin Erişim

Elektronik Ekitap

20

Language and Automata Theory and Applications 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings /

Baskı/Yayın Bilgisi 2013

İçindekiler: “....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...”
Tam Metin Erişim

Elektronik Ekitap

Aramayı Daralt