Canlyniadau Chwilio - applications computation programming semantics arrays via*

Chwilio eraill:
applications computation » applications computational , applications composition , applications cooperation
computation programming » communication programming , computation programmatic , computing programming
programming semantics » programming mathematics , programming series , programming secrets
semantics arrays » semantics essays , semantics across , semantics arrow
arrays via » arrays a

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics -- Computing Longest...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
Cael y testun llawn

Electronig eLyfr

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium...

Cyhoeddwyd 2010

Tabl Cynhwysion: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
Cael y testun llawn

Electronig eLyfr

Computer Vision -- ACCV 2012 11th Asian Conference on Computer Vision, Daejeon, Korea, November 5-9, 2012, Revised Selected Papers, Part II /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Flexible Query Answering in Data Cubes -- An Extendible Array Based Implementation of Relational Tables...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Network -- Transient-Time Fractional-Space Trigonometry and Application -- Understanding Individual Play...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Cluster Ensembles -- Similar-video retrieval via learned exemplars and time-warped alignment -- Automatic...”
Cael y testun llawn

Electronig eLyfr

Intelligent Technologies and Engineering Systems

Cyhoeddwyd 2013

Tabl Cynhwysion: “... and Approaching Degree Toolbox via Matlab -- Deploying autonomous coordinating agent for assessment model in smart...”
Cael y testun llawn

Electronig eLyfr

Formal Concept Analysis 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013, Proceedings /

Cyhoeddwyd 2013

Tabl Cynhwysion: “... Structures for Analyzing Ontology-Based Annotations of Biomedical Data -- Formal Concept Analysis via Atomic...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad