Search Results - detection computing programming via array data*

1

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

Published 2005

Table of Contents: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
View full text

Electronic eBook

2

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

Published 2010

Table of Contents: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
View full text

Electronic eBook

3

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

Published 2010

Table of Contents: “... Recognition -- Every Picture Tells a Story: Generating Sentences from Images -- An Eye Fixation Database...”
View full text

Electronic eBook

4

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

Published 2013

Table of Contents: “... Reference Data -- Benchmarking Still-to-Video Face Recognition via Partial and Local Linear Discriminant...”
View full text

Electronic eBook

5

Applications of Evolutionary Computation EvoApplications 2010: EvoCOMNET, EvoENVIRONMENT, EvoFIN...

Published 2010

Table of Contents: “...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...”
View full text

Electronic eBook

6

Swarm, Evolutionary, and Memetic Computing 4th International Conference, SEMCCO 2013, Chennai, India, December 19-21, 2013, Proceedings, Part I /

Published 2013

Table of Contents: “... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...”
View full text

Electronic eBook

7

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

Published 2005

Table of Contents: “... Through Span Composition -- Degenerate Arrays: A Framework for Uncertain Data Tables -- Neural Network...”
View full text

Electronic eBook

8

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

Published 2015

Table of Contents: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
View full text

Electronic eBook

9

Algorithms in Bioinformatics 7th International Workshop, WABI 2007, Philadelphia, PA, USA, September 8-9, 2007, Proceedings /

Published 2007

Table of Contents: “... Tag SNPs for Disease Association Studies -- Genotype Error Detection Using Hidden Markov Models...”
View full text

Electronic eBook

10

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Published 2010

Table of Contents: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
View full text

Electronic eBook

11

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Published 2010

Table of Contents: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
View full text

Electronic eBook

12

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

Published 2007

Table of Contents: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
View full text

Electronic eBook

13

Frontiers of Combining Systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, Proceedings /

Published 2013

Table of Contents: “... -- Combining Superposition and Induction: A Practical Realization -- Arrays and Memory Access Optimization...”
View full text

Electronic eBook

14

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

Published 2012

Table of Contents: “... Based Human Detection via Shape Part-Templates Matching -- Matrix Pseudoinversion for Image Neural...”
View full text

Electronic eBook

15

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

Published 2005

Table of Contents: “...Data Warehouse I -- A Tree Comparison Approach to Detect Changes in Data Warehouse Structures...”
View full text

Electronic eBook

16

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

Published 2005

Table of Contents: “... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”
View full text

Electronic eBook

17

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... -- Linear Coherent Bi-cluster Discovery via Beam Detection and Sample Set Clustering -- An Iterative...”
View full text

Electronic eBook

18

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

Published 2014

Table of Contents: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
View full text

Electronic eBook

19

Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30--August 1, 2014, Proceedings /

Published 2014

Table of Contents: “... of the Anticipatory Reflexes of a Computational Model of the Cerebellum -- Evolving Optimal Swimming in Different...”
View full text

Electronic eBook

20

Advances in Neural Networks – ISNN 2015 12th International Symposium on Neural Networks, ISNN 2015, Jeju, South Korea, October 15-18, 2015, Proceedings /

Published 2015

Table of Contents: “...-Sliding-Mode-Based Frequency Regulation -- A New Discrete-Time Iterative Adaptive Dynamic Programming...”
View full text

Electronic eBook

Narrow Search