检索结果 - detection computing programming semantics arrays a~

1

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

电子电子书

2

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

电子电子书

3

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

电子电子书

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

电子电子书

12

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

电子电子书

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

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

电子电子书

17

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

电子电子书

18

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

电子电子书

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

电子电子书

缩小搜索