Sökresultat - functions computational ((programming recursion) or (programming learning)) based tool*

1

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Publicerad 2010

Innehållsförteckning: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Hämta fulltext

Elektronisk E-bok

2

Genetic Programming Theory and Practice III

Publicerad 2006

Innehållsförteckning: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
Hämta fulltext

Elektronisk E-bok

3

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

Publicerad 2005

Innehållsförteckning: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
Hämta fulltext

Elektronisk E-bok

4

Innovations in Computing Sciences and Software Engineering

Publicerad 2010

Innehållsförteckning: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
Hämta fulltext

Elektronisk E-bok

5

Computer Aided Verification 26th International Conference, CAV 2014, Held as Part of the Vienna...

Publicerad 2014

Innehållsförteckning: “...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”
Hämta fulltext

Elektronisk E-bok

6

Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
Hämta fulltext

Elektronisk E-bok

7

Mathematica®: A Problem-Centered Approach

av Hazrat, Roozbeh., Hazrat, Roozbeh.
Publicerad 2015

Innehållsförteckning: “... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Hämta fulltext

Elektronisk E-bok

8

Computer Aided Systems Theory – EUROCAST 2005 10th International Conference on Computer Aided...

Publicerad 2005

Innehållsförteckning: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
Hämta fulltext

Elektronisk E-bok

9

Mathematica®: A Problem-Centered Approach

av Hazrat, Roozbeh., Hazrat, Roozbeh.
Publicerad 2010

Innehållsförteckning: “... -- 10.1 Functions with local variables -- 10.2 Functions with conditions -- 11. Recursive functions -- 12...”
Hämta fulltext

Elektronisk E-bok

10

Intelligent Data Engineering and Automated Learning - IDEAL 2005 6th International Conference, Brisbane, Australia, July 6-8, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... of Large Image Datasets Using Non-linear Principal Components -- Classification by Instance-Based Learning...”
Hämta fulltext

Elektronisk E-bok

11

Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
Hämta fulltext

Elektronisk E-bok

12

Machine Learning and Data Mining in Pattern Recognition 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”
Hämta fulltext

Elektronisk E-bok

13

Automated Technology for Verification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic...”
Hämta fulltext

Elektronisk E-bok

14

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Publicerad 2010

Innehållsförteckning: “...: Transactions Based on Security Questions and Image -- CloneManager: A Tool for Detection of Type1 and Type2...”
Hämta fulltext

Elektronisk E-bok

15

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Publicerad 2006

Innehållsförteckning: “... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...”
Hämta fulltext

Elektronisk E-bok

16

Intelligent Information Processing V 6th IFIP TC 12 International Conference, IIP 2010, Manchester, UK, October 13-16, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “... Empirical Selection of Rule Induction Methods Based on Recursive Iteration of Resampling Methods -- Web...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen