檢索結果 - detection ((computation programming) or (computing programming)) semantics arrays a~

1

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...”
獲取全文

電子電子書

2

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

出版 2007

書本目錄: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
獲取全文

電子電子書

3

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

出版 2005

書本目錄: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
獲取全文

電子電子書

4

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary...

出版 2010

書本目錄: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
獲取全文

電子電子書

5

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

出版 2010

書本目錄: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
獲取全文

電子電子書

6

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

出版 2015

書本目錄: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
獲取全文

電子電子書

7

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...”
獲取全文

電子電子書

8

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

出版 2014

書本目錄: “... Matching -- A Novel Non-Repudiate Scheme with Voice Feature Marking.-A Study of Spam Detection algorithm...”
獲取全文

電子電子書

9

High Performance Computing and Communications Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007, Proceedings /

出版 2007

書本目錄: “... -- The Changing Impact of Semiconductor Technology on Processor Architecture -- Cluster Computing -- A Windows...”
獲取全文

電子電子書

10

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings /

出版 2007

書本目錄: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
獲取全文

電子電子書

11

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

出版 2013

書本目錄: “... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”
獲取全文

電子電子書

12

Computer Vision -- ECCV 2010 11th European Conference on Computer Vision, Heraklion, Crete, Greece, September 5-11, 2010, Proceedings, Part IV /

出版 2010

書本目錄: “... Detection -- Finding Semantic Structures in Image Hierarchies Using Laplacian Graph Energy -- Semantic...”
獲取全文

電子電子書

13

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

出版 2005

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

電子電子書

14

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...”
獲取全文

電子電子書

15

Emerging Technologies for Information Systems, Computing, and Management

出版 2013

書本目錄: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
獲取全文

電子電子書

16

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

出版 2006

書本目錄: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
獲取全文

電子電子書

17

Proceedings of the Third International Conference on Soft Computing for Problem Solving SocProS 2013, Volume 2 /

出版 2014

書本目錄: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
獲取全文

電子電子書

18

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

出版 2010

書本目錄: “... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”
獲取全文

電子電子書

19

Model Driven Engineering Languages and Systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30 -- October 5, 2012, Proceedings /

出版 2012

書本目錄: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
獲取全文

電子電子書

20

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

書本目錄: “... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”
獲取全文

電子電子書

縮小搜索