תוצאות חיפוש - (intelligent OR intelligence) computing programs program function https

1

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

יצא לאור 2015

תוכן הענינים: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

2

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

3

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

4

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

יצא לאור 2013

תוכן הענינים: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

5

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

יצא לאור 2006

תוכן הענינים: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

6

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

יצא לאור 2010

תוכן הענינים: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

7

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /

יצא לאור 2014

נושאים: “...Programming languages (Electronic computers)....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

8

Functional and Logic Programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings /

יצא לאור 2012

נושאים: “...Programming languages (Electronic computers)....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

9

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

10

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

יצא לאור 2005

תוכן הענינים: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

11

Gene Expression Programming Mathematical Modeling by an Artificial Intelligence /

מאת Ferreira, Candida., Ferreira, Candida.
יצא לאור 2006

תוכן הענינים: “...Introduction: The Biological Perspective -- The Entities of Gene Expression Programming...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

12

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part I /

יצא לאור 2010

תוכן הענינים: “...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

13

Artificial Intelligence and Computational Intelligence International Conference, AICI 2010, Sanya, China, October 23-24, 2010, Proceedings, Part II /

יצא לאור 2010

תוכן הענינים: “...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

14

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /

יצא לאור 2011

נושאים: “...Programming languages (Electronic computers)....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

15

Computational Intelligence Revised and Selected Papers of the International Joint Conference, IJCCI 2010, Valencia, Spain, October 2010 /

יצא לאור 2012

תוכן הענינים: “... Dissortative Mating Genetic Algorithm in Fast Non-stationary Fitness Functions -- A Receding Horizon Genetic...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

16

Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers /

יצא לאור 2010

תוכן הענינים: “... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

17

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings /

יצא לאור 2011

נושאים: “...Programming languages (Electronic computers)....”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

18

Dynamic Programming A Computational Tool /

מאת Lew, Art., Lew, Art., Mauch, Holger.
יצא לאור 2007

תוכן הענינים: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

19

Linear Genetic Programming

מאת Brameier, Markus F., Brameier, Markus F., Banzhaf, Wolfgang.
יצא לאור 2007

תוכן הענינים: “...Fundamental Analysis -- Basic Concepts of Linear Genetic Programming -- Characteristics...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

20

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”
קבל טקסט מלא

אלקטרוני ספר אלקטרוני

צמצם חיפוש