檢索結果 - detection computation programming theory arrays a

1

Gravitational Wave Detection and Data Analysis for Pulsar Timing Arrays

由 van Haasteren, Rutger., van Haasteren, Rutger.
出版 2014

書本目錄: “...Foreword -- Introduction -- Bayesian data analysis of Pulsar Timing Arrays -- Gravitational-wave...”
獲取全文

電子電子書

2

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

電子電子書

3

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory...

出版 2010

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

電子電子書

4

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

電子電子書

5

Local Pattern Detection International Seminar Dagstuhl Castle, Germany, April 12-16, 2004, Revised Selected Papers /

出版 2005

書本目錄: “... -- Local Pattern Detection and Clustering -- Local Patterns: Theory and Practice of Constraint-Based...”
獲取全文

電子電子書

6

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

出版 2005

書本目錄: “... Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed...”
獲取全文

電子電子書

7

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

出版 2010

書本目錄: “...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”
獲取全文

電子電子書

8

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

電子電子書

9

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

出版 2007

書本目錄: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
獲取全文

電子電子書

10

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

出版 2007

書本目錄: “... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”
獲取全文

電子電子書

11

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

出版 2014

書本目錄: “... -- ELM based ensemble classifier for Gas Sensor Array Drift Dataset -- Hippocampus Atrophy Detection...”
獲取全文

電子電子書

12

High Performance Computing - HiPC 2008 15th International Conference, Bangalore, India, December 17-20, 2008, Proceedings /

出版 2008

書本目錄: “... Framework for Real-Time Computing -- A Load Aware Channel Assignment and Link Scheduling Algorithm for Multi...”
獲取全文

電子電子書

13

Network and Parallel Computing 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013, Proceedings /

出版 2013

書本目錄: “...Parallel Programming and Algorithms -- A Virtual Network Embedding Algorithm Based on Graph Theory...”
獲取全文

電子電子書

14

Computational Science and Its Applications - ICCSA 2010 International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part III /

出版 2010

書本目錄: “... of Redundancy Elimination Protocols for Wireless Sensor Networks -- A Light-Weighted Misused Key Detection...”
獲取全文

電子電子書

15

Embedded Computer Systems: Architectures, Modeling, and Simulation 5th International Workshop, SAMOS 2005, Samos, Greece, July 18-20, Proceedings /

出版 2005

書本目錄: “... -- A Programming Model for an Embedded Media Processing Architecture -- Automatic ADL-Based Assembler...”
獲取全文

電子電子書

16

Embedded Computer Systems: Architectures, Modeling, and Simulation 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007, Proceedings /

出版 2007

書本目錄: “... -- Reconfigurable Architectures -- MORA: A New Coarse-Grain Reconfigurable Array for High Throughput Multimedia...”
獲取全文

電子電子書

17

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

出版 2010

書本目錄: “... for Object Detection -- Accurate Image Localization Based on Google Maps Street View -- A Minimal Case...”
獲取全文

電子電子書

18

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 of Software, ETAPS...

出版 2014

書本目錄: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
獲取全文

電子電子書

19

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007...

出版 2007

書本目錄: “...-Dependence Analysis and Program Transformation for Symbolic Execution -- JPF–SE: A Symbolic Execution...”
獲取全文

電子電子書

20

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

電子電子書

縮小搜索