Search Results - integration computing programming semantics arrays a~

1

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Published 2005

Table of Contents: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
View full text

Electronic eBook

2

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

Published 2005

Table of Contents: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
View full text

Electronic eBook

3

Genetic Programming 11th European Conference, EuroGP 2008, Naples, Italy, March 26-28, 2008, Proceedings /

Published 2008

Table of Contents: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
View full text

Electronic eBook

4

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

Published 2007

Table of Contents: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
View full text

Electronic eBook

5

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

Published 2008

Table of Contents: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
View full text

Electronic eBook

6

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

Published 2010

Table of Contents: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
View full text

Electronic eBook

7

Value-Range Analysis of C Programs Towards Proving the Absence of Buffer Overflow Vulnerabilities /

by Simon, Axel., Simon, Axel.
Published 2008

Table of Contents: “...From the Contents: Preface -- Introduction.-Value Range Analysis -- Analysing C -- A Semantics...”
View full text

Electronic eBook

8

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

Published 2010

Table of Contents: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
View full text

Electronic eBook

9

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

Published 2005

Table of Contents: “... Ad Hoc Network -- A Semantic and Adaptive Context Model for Ubiquitous Computing -- Research...”
View full text

Electronic eBook

10

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

Published 2005

Table of Contents: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
View full text

Electronic eBook

11

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “...The Design for High Dynamic GPS Receiver in a Combinated Method of FLL and PLL -- The Modeling...”
View full text

Electronic eBook

12

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

Published 2014

Table of Contents: “... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”
View full text

Electronic eBook

13

Logics in Artificial Intelligence 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /

Published 2006

Table of Contents: “... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...”
View full text

Electronic eBook

14

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

Published 2012

Table of Contents: “... on Inconsistency Detection Effort: A Controlled Experiment -- On Integrating Structure and Behavior Modeling...”
View full text

Electronic eBook

15

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

Published 2014

Table of Contents: “... for Linear Loops -- Modeling and Model Checking Discrete Systems FDR3 — A Modern Refinement Checker for CSP...”
View full text

Electronic eBook

16

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

Published 2005

Table of Contents: “... Metrics for Conceptual Models of Data Warehouses -- Design and Development of a Tool for Integrating...”
View full text

Electronic eBook

17

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Published 2010

Table of Contents: “... Classification -- Benefits of Semantics on Web Service Composition from a Complex Network Perspective...”
View full text

Electronic eBook

18

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

Published 2010

Table of Contents: “... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...”
View full text

Electronic eBook

19

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Published 2010

Table of Contents: “... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”
View full text

Electronic eBook

20

Web-Age Information Management 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010, Proceedings /

Published 2010

Table of Contents: “... Identification in Deep Web Data Integration -- Learning to Detect Web Spam by Genetic Programming -- Semantic...”
View full text

Electronic eBook

Narrow Search