Αποτελέσματα αναζήτησης - interactive globalization problems programs function https

1

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Έκδοση 2013

Πίνακας περιεχομένων: “... -- Adaptive Parameterized Consistency -- Global Inverse Consistency for Interactive Constraint Satisfaction...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

4

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... in Verification: Local vs. Global -- Pushdown Module Checking -- Functional Correctness Proofs of Encryption...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

Differential Evolution A Practical Approach to Global Optimization /

ανά Price, Kenneth., Price, Kenneth., Storn, Rainer M., Lampinen, Jouni A.
Έκδοση 2005

Πίνακας περιεχομένων: “...Global optimization -- The Motivation for Differential Evolution -- Critical values for the control...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

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

Έκδοση 2010

Πίνακας περιεχομένων: “...-Scale Global Optimization Using Cooperative Coevolution with Variable Interaction Learning -- EvoShelf...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

Nature Inspired Problem-Solving Methods in Knowledge Engineering Second International Work...

Έκδοση 2007

Πίνακας περιεχομένων: “... Conditions Through Fuzzy Rules -- Social Interaction in Robotic Agents Emulating the Mirror Neuron Function...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

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

Έκδοση 2010

Πίνακας περιεχομένων: “... for the LeadingOnes Problem -- Mirrored Sampling and Sequential Selection for Evolution Strategies -- Optimisation...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

Representation Theory and Complex Analysis Lectures given at the C.I.M.E. Summer School held in Venice, Italy, June 10-17, 2004 /

ανά Cowling, Michael., Cowling, Michael., Frenkel, Edward., Kashiwara, Masaki., Valette, Alain., Vogan, David A., Wallach, Nolan R.
Έκδοση 2008

Πίνακας περιεχομένων: “...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... -- Designing Execution Control in Programs with Global Application States Monitoring -- Distributed MIND – A...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Test Functions with Multiple Global Optima -- Choosing Leaders for Multi-objective PSO Algorithms Using...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

12

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advance Low Power Systems, ALPS 2006, Revised...

Έκδοση 2008

Πίνακας περιεχομένων: “... Functions on Clustered Workstations with Ethernet and Myrinet -- Dynamic Load Balancing in MPI Jobs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

HCI and Usability for Medicine and Health Care Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007 Graz, Austria, November, 22...

Έκδοση 2007

Πίνακας περιεχομένων: “... Applications -- Combining Virtual Reality and Functional Magnetic Resonance Imaging (fMRI): Problems...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Έκδοση 2010

Πίνακας περιεχομένων: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

Computer-Aided Innovation (CAI) IFIP 20th World Computer Congress, Proceedings of the Second Topical Session on Computer-Aided Innovation, WG 5.4/TC 5 Computer-Aided Innovation, Se...

Έκδοση 2008

Πίνακας περιεχομένων: “... ergonomic analysis -- Measuring patent similarity by comparing inventions functional trees -- Representing...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

Advanced Statistical Methods for the Analysis of Large Data-Sets

Έκδοση 2012

Πίνακας περιεχομένων: “... (Marino M., Palumbo F., Tortora C.) -- Clustering geostatistical functional data (Romano E., Verde R...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings /

Έκδοση 2006

Πίνακας περιεχομένων: “... Logics -- The Complexity of Counting Functions with Easy Decision Version -- On Non-Interactive Zero...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

19

Dynamics, Games and Science International Conference and Advanced School Planet Earth, DGS II, Portugal, August 28–September 6, 2013 /

Έκδοση 2015

Πίνακας περιεχομένων: “... Algebra: A. Baraviera et al -- 7 Periodic Homogenization of Deterministic Control Problems via Limit...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

20

Computational Collective Intelligence. Technologies and Applications Second International Conference, ICCCI 2010, Kaohsiung, Taiwan, November 10-12, 2010. Proceedings, Part I /

Έκδοση 2010

Πίνακας περιεχομένων: “...Collective Intelligence in Web Systems – Web Systems Analysis -- Neuro-Fuzzy Models in Global HTTP...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης