Search Results - parallel programs notes functionality using https

1

Implementation of Functional Languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /

Published 2005

Table of Contents: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
View full text

Electronic eBook

2

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: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
View full text

Electronic eBook

3

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

4

Computational Intelligence for Knowledge-Based System Design 13th IPMU Conference, Dortmund, Germany, June 28 - July 2, 2010. Proceedings /

Published 2010

Table of Contents: “... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”
View full text

Electronic eBook

5

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: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
View full text

Electronic eBook

6

Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /

Published 2008

Table of Contents: “... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...”
View full text

Electronic eBook

7

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning Adaptation and Multi-Agent Learning, 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Ada...

Published 2008

Table of Contents: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
View full text

Electronic eBook

8

Progress in Artificial Intelligence 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
View full text

Electronic eBook

9

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

Published 2008

Table of Contents: “...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”
View full text

Electronic eBook

10

Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirao Preto, Braz...

Published 2006

Table of Contents: “... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...”
View full text

Electronic eBook

11

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: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
View full text

Electronic eBook

12

Advances in Automatic Differentiation

Published 2008

Table of Contents: “... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”
View full text

Electronic eBook

13

Pattern Recognition in Bioinformatics Third IAPR International Conference, PRIB 2008, Melbourne, Australia, October 15-17, 2008. Proceedings /

Published 2008

Table of Contents: “... of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach -- Using Multi-scale Glide Zoom...”
View full text

Electronic eBook

14

Global Sourcing of Information Technology and Business Processes 4th International Workshop, Global Sourcing 2010, Zermatt, Switzerland, March 22-25, 2010, Revised Selected Papers...

Published 2010

Table of Contents: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
View full text

Electronic eBook

15

Artificial Intelligence and Soft Computing 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part II /

Published 2015

Table of Contents: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
View full text

Electronic eBook

16

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Published 2005

Table of Contents: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
View full text

Electronic eBook

17

Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings /

Published 2006

Table of Contents: “... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...”
View full text

Electronic eBook

18

Artificial Intelligence and Soft Computing 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /

Published 2014

Table of Contents: “... Machine Using Simple Derivative Term -- Representations of Highly-Varying Functions by One-Hidden-Layer...”
View full text

Electronic eBook

19

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Published 2007

Table of Contents: “... Networks Using Gene Expression Time Series Data -- Biological Network Inference Using Redundancy Analysis...”
View full text

Electronic eBook

20

Research in Computational Molecular Biology 9th Annual International Conference, RECOMB 2005, Cambridge, MA, USA, May 14-18, 2005, Proceedings /

Published 2005

Table of Contents: “... Functions of Multiple Transcription Factors -- Predicting Transcription Factor Binding Sites Using...”
View full text

Electronic eBook

Narrow Search