Resultados da pesquisa - general computation programming semantics arrays via

Pesquisas alternativas:
computation programming » communication programming , computation programmatic , computing programming
programming semantics » programming mathematics , programming series , programming secrets
general computation » general computational , neural computation , genetic computation
semantics arrays » semantics essays , semantics across , semantics arrow
arrays via » arrays a

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Obter o texto integral

Recurso Electrónico livro electrónico

Languages and Compilers for Parallel Computing 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers /

Publicado em 2005

Sumário: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Obter o texto integral

Recurso Electrónico livro electrónico

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...

Publicado em 2008

Sumário: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
Obter o texto integral

Recurso Electrónico livro electrónico

Foundations of Software Science and Computational Structures 11th International Conference, FOSSACS...

Publicado em 2008

Sumário: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
Obter o texto integral

Recurso Electrónico livro electrónico

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computer Science - Theory and Applications Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings /

Publicado em 2008

Sumário: “... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Publicado em 2005

Sumário: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Obter o texto integral

Recurso Electrónico livro electrónico

Euro-Par 2015: Parallel Processing 21st International Conference on Parallel and Distributed Computing, Vienna, Austria, August 24-28, 2015, Proceedings /

Publicado em 2015

Sumário: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Obter o texto integral

Recurso Electrónico livro electrónico

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicado em 2014

Sumário: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Obter o texto integral

Recurso Electrónico livro electrónico

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Publicado em 2015

Sumário: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Obter o texto integral

Recurso Electrónico livro electrónico

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Publicado em 2010

Sumário: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Obter o texto integral

Recurso Electrónico livro electrónico

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part I /

Publicado em 2012

Sumário: “... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...”
Obter o texto integral

Recurso Electrónico livro electrónico

Neural Information Processing 19th International Conference, ICONIP 2012, Doha, Qatar, November 12-15, 2012, Proceedings, Part V /

Publicado em 2012

Sumário: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
Obter o texto integral

Recurso Electrónico livro electrónico

Neural Information Processing 21st International Conference, ICONIP 2014, Kuching, Malaysia, November 3-6, 2014. Proceedings, Part III /

Publicado em 2014

Sumário: “... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...”
Obter o texto integral

Recurso Electrónico livro electrónico

Data Warehousing and Knowledge Discovery 7th International Conference, DaWak 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...”
Obter o texto integral

Recurso Electrónico livro electrónico

Database and Expert Systems Applications 16th International Conference, DEXA 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings /

Publicado em 2005

Sumário: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
Obter o texto integral

Recurso Electrónico livro electrónico

Intelligent Technologies and Engineering Systems

Publicado em 2013

Sumário: “... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa