Rezultaty - general ((computational programming) or (computing programming)) semantics arrays via*

1

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

Wydane 2005

Spis treści: “... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2008

Spis treści: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2005

Spis treści: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

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

Wydane 2008

Spis treści: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2008

Spis treści: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2005

Spis treści: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

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

Wydane 2008

Spis treści: “... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2005

Spis treści: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2015

Spis treści: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2014

Spis treści: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2015

Spis treści: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2010

Spis treści: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2012

Spis treści: “... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2012

Spis treści: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

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

Wydane 2014

Spis treści: “... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2005

Spis treści: “... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2005

Spis treści: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Intelligent Technologies and Engineering Systems

Wydane 2013

Spis treści: “... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty