Kết quả tìm kiếm - detection computational programming semantics arrays a~

Tìm kiếm thay thế:
computational programming » computation programming , computational program , computing programming
detection computational » section computational , prediction computational , interactions computational
programming semantics » programming mathematics , programming series , programming secrets
semantics arrays » semantics essays , semantics across , semantics arrow
arrays a » arrays _

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

Được phát hành 2005

Mục lục: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2007

Mục lục: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2015

Mục lục: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2014

Mục lục: “... Matching -- A Novel Non-Repudiate Scheme with Voice Feature Marking.-A Study of Spam Detection algorithm...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2007

Mục lục: “... -- The Changing Impact of Semiconductor Technology on Processor Architecture -- Cluster Computing -- A Windows...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2007

Mục lục: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... Detection -- Finding Semantic Structures in Image Hierarchies Using Laplacian Graph Energy -- Semantic...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2013

Mục lục: “... -- Digitization of Deformed Documents Using a High-Speed Multi-camera Array -- A Phase-Based Approach for Caption...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2005

Mục lục: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
lấy văn bản

Điện tử eBook

Emerging Technologies for Information Systems, Computing, and Management

Được phát hành 2013

Mục lục: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2010

Mục lục: “... Conceptual Schema Validation -- A Model-Driven Heuristic Approach for Detecting Multidimensional Facts...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2006

Mục lục: “... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2015

Mục lục: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2014

Mục lục: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2012

Mục lục: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
lấy văn bản

Điện tử eBook

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

Được phát hành 2014

Mục lục: “... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”
lấy văn bản

Điện tử eBook

Tìm kiếm hẹp