檢索結果 - general ((computation 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 /

出版 2005

書本目錄: “... -- On Compatibility of Discrete Relations -- Construction of Two Level Orthogonal Arrays Via Solutions of Linear...”
獲取全文

電子電子書

2

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

出版 2008

書本目錄: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
獲取全文

電子電子書

3

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

出版 2005

書本目錄: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
獲取全文

電子電子書

4

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

出版 2008

書本目錄: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
獲取全文

電子電子書

5

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

出版 2008

書本目錄: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
獲取全文

電子電子書

6

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

出版 2005

書本目錄: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
獲取全文

電子電子書

7

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

出版 2008

書本目錄: “... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”
獲取全文

電子電子書

8

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

出版 2005

書本目錄: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
獲取全文

電子電子書

9

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

出版 2015

書本目錄: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
獲取全文

電子電子書

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

出版 2014

書本目錄: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
獲取全文

電子電子書

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

出版 2015

書本目錄: “... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”
獲取全文

電子電子書

12

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

出版 2010

書本目錄: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
獲取全文

電子電子書

13

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

出版 2012

書本目錄: “... Conversational Calculator Based on Remote Online Computation -- Load Forecasting Accuracy through Combination...”
獲取全文

電子電子書

14

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

出版 2012

書本目錄: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
獲取全文

電子電子書

15

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

出版 2014

書本目錄: “... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...”
獲取全文

電子電子書

16

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

出版 2005

書本目錄: “... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...”
獲取全文

電子電子書

17

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

出版 2005

書本目錄: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
獲取全文

電子電子書

18

Intelligent Technologies and Engineering Systems

出版 2013

書本目錄: “... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...”
獲取全文

電子電子書

縮小搜索