Resultats de la cerca - parallel program notes functionality using https

1

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

Publicat 2005

Taula de continguts: “... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”
Obtenir text complet

Electrònic eBook

2

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

Publicat 2010

Taula de continguts: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
Obtenir text complet

Electrònic eBook

3

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

Publicat 2006

Taula de continguts: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Obtenir text complet

Electrònic eBook

4

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

Publicat 2010

Taula de continguts: “... of Incomplete Data Based on Cluster Dispersion -- Automatic Detection of Active Region on EUV Solar Images Using...”
Obtenir text complet

Electrònic eBook

5

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

Publicat 2005

Taula de continguts: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
Obtenir text complet

Electrònic eBook

6

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

Publicat 2008

Taula de continguts: “... Diagnosis with the Use of Intelligent Techniques -- Introducing Parallel Computations to a PTTP-Based First...”
Obtenir text complet

Electrònic 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...

Publicat 2008

Taula de continguts: “... Double Auction Market -- Parallel Reinforcement Learning with Linear Function Approximation -- Combining...”
Obtenir text complet

Electrònic eBook

8

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

Publicat 2005

Taula de continguts: “... Logic to Logic Programs -- Preference Revision Via Declarative Debugging -- Revised Stable Models – A...”
Obtenir text complet

Electrònic eBook

9

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

Publicat 2008

Taula de continguts: “...Invited Papers -- One Useful Logic That Defines Its Own Truth -- On Synchronous and Asynchronous...”
Obtenir text complet

Electrònic 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...

Publicat 2006

Taula de continguts: “... Simulator for Brazilian Wholesale Electricity Energy Market -- Using IDEF0 to Enhance Functional Analysis...”
Obtenir text complet

Electrònic 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...

Publicat 2005

Taula de continguts: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Obtenir text complet

Electrònic eBook

12

Advances in Automatic Differentiation

Publicat 2008

Taula de continguts: “... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...”
Obtenir text complet

Electrònic eBook

13

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

Publicat 2008

Taula de continguts: “... of Protein Beta-Sheets: Dynamic Programming versus Grammatical Approach -- Using Multi-scale Glide Zoom...”
Obtenir text complet

Electrònic 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...

Publicat 2010

Taula de continguts: “...: The Determinants of Success -- Exploring the Media Mix during IT-Offshore Project -- Parallel Transitions...”
Obtenir text complet

Electrònic eBook

15

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

Publicat 2005

Taula de continguts: “... Functions of Multiple Transcription Factors -- Predicting Transcription Factor Binding Sites Using...”
Obtenir text complet

Electrònic eBook

16

Advances in Information Systems Third International Conference, ADVIS 2004, Izmir, Turkey, October 20-22, 2004. Proceedings /

Publicat 2005

Taula de continguts: “... Video Retrieval for Multimedia Information Systems -- Using an Exact Radial Basis Function Artificial...”
Obtenir text complet

Electrònic eBook

17

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

Publicat 2007

Taula de continguts: “... Networks Using Gene Expression Time Series Data -- Biological Network Inference Using Redundancy Analysis...”
Obtenir text complet

Electrònic eBook

18

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

Publicat 2015

Taula de continguts: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
Obtenir text complet

Electrònic eBook

19

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

Publicat 2005

Taula de continguts: “... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...”
Obtenir text complet

Electrònic eBook

20

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

Publicat 2006

Taula de continguts: “... for Robotic Control -- The Solution of Semi-Infinite Linear Programs Using Boosting-Like Methods -- Spectral...”
Obtenir text complet

Electrònic eBook

Refinar cerca