Search Results - parallel semantics problems function function https

1

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Published 2010

Table of Contents: “... -- Parallel Evolutionary Approach of Compaction Problem Using MapReduce -- Ant Colony Optimization...”
View full text

Electronic eBook

2

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

Published 2007

Table of Contents: “... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”
View full text

Electronic eBook

3

Network and Parallel Computing IFIP International Conference, NPC 2005, Beijing, China, November 30 - December 3, 2005, Proceedings /

Published 2005

Table of Contents: “... Optical Networks -- A Parallel O(n27n/8) Time-Memory-Processor Tradeoff for Knapsack-Like Problems...”
View full text

Electronic eBook

4

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

Published 2010

Table of Contents: “... for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems -- A Parallel Solution of Large-Scale Heat...”
View full text

Electronic eBook

5

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part I /

Published 2012

Table of Contents: “... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...”
View full text

Electronic eBook

6

The Semantic Web -- ISWC 2012 11th International Semantic Web Conference, Boston, MA, USA, November 11-15, 2012, Proceedings, Part II /

Published 2012

Table of Contents: “... Formal Semantics for Weighted Ontology -- Personalised Graph-Based Selection of Web APIs -- Instance...”
View full text

Electronic eBook

7

Proceedings of the Second International Conference on Soft Computing for Problem Solving (SocProS 2012), December 28-30, 2012

Published 2014

Table of Contents: “... -- On the Fekete-Szegö Problem for Certain Subclass of Analytic Functions -- Bi-Objective Scheduling on Parallel...”
View full text

Electronic eBook

8

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Published 2015

Table of Contents: “...The Effect of Distinct Geometric Semantic Crossover Operators in Regression Problems -- Learning...”
View full text

Electronic eBook

9

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Published 2006

Table of Contents: “... Parallel ML: Semantics and Implementation of the Parallel Juxtaposition -- A Shortest Path Algorithm Based...”
View full text

Electronic eBook

10

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings /

Published 2015

Table of Contents: “...Invited Paper -- Moment Semantics for Reversible Rule-Based Systems -- Reversible machines -- A...”
View full text

Electronic eBook

11

Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi'an, China, April 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...”
View full text

Electronic eBook

12

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Published 2010

Table of Contents: “... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...”
View full text

Electronic eBook

13

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... and Pyramids -- The Maximum Independent Set Problem in Planar Graphs -- When Ignorance Helps: Graphical...”
View full text

Electronic eBook

14

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Published 2014

Table of Contents: “... and Budgeted Maximum Coverage Problems in Bipartite Graphs -- Perfect Pipelining for Streaming Large File...”
View full text

Electronic eBook

15

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015,...

Published 2015

Table of Contents: “... Matching Approaches -- IsoLate: A Type System for Self-recursion -- The Problem of PL Concurrency Semantics...”
View full text

Electronic eBook

16

Artificial Evolution 9th International Conference, Evolution Artificielle, EA 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers /

Published 2010

Table of Contents: “... Algorithms -- Semantic Similarity Based Crossover in GP: The Case for Real-Valued Function Regression...”
View full text

Electronic eBook

17

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Published 2014

Table of Contents: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
View full text

Electronic eBook

18

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2015

Table of Contents: “... -- Symbolic Model-Checking Using ITS-Tools -- Semantic Importance Sampling for Statistical Model Checking...”
View full text

Electronic eBook

19

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
View full text

Electronic eBook

20

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Published 2005

Table of Contents: “... -- Streaming Algorithms for Geometric Problems -- Toward a Grainless Semantics for Shared-Variable Concurrency...”
View full text

Electronic eBook

Narrow Search