Resultados da pesquisa - intelligence computing proceedings programs function https

1

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

Publicado em 2008

Sumário: “...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

2

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

Publicado em 2006

Sumário: “... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”
Obter o texto integral

Recurso Electrónico livro electrónico

3

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

Publicado em 2014

Assuntos: “...Programming languages (Electronic computers)....”
Obter o texto integral

Recurso Electrónico livro electrónico

4

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

Publicado em 2012

Assuntos: “...Programming languages (Electronic computers)....”
Obter o texto integral

Recurso Electrónico livro electrónico

5

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

Publicado em 2010

Sumário: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Obter o texto integral

Recurso Electrónico livro electrónico

6

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

Publicado em 2011

Assuntos: “...Programming languages (Electronic computers)....”
Obter o texto integral

Recurso Electrónico livro electrónico

7

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

Publicado em 2010

Sumário: “...Applications of Artificial Intelligence -- Application of RBF Neural Network in Short-Term Load...”
Obter o texto integral

Recurso Electrónico livro electrónico

8

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

Publicado em 2010

Sumário: “...Applications of Computational Intelligence -- A New Fault Detection Method of Induction Motor -- A...”
Obter o texto integral

Recurso Electrónico livro electrónico

9

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

Publicado em 2007

Sumário: “... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”
Obter o texto integral

Recurso Electrónico livro electrónico

10

Advances in Computation and Intelligence 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010, Proceedings /

Publicado em 2010

Sumário: “... Programming -- Parameter Evolution for a Particle Swarm Optimization Algorithm -- The Ant Colony Optimization...”
Obter o texto integral

Recurso Electrónico livro electrónico

11

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Publicado em 2014

Sumário: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Obter o texto integral

Recurso Electrónico livro electrónico

12

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Publicado em 2013

Sumário: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Obter o texto integral

Recurso Electrónico livro electrónico

13

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

Publicado em 2013

Sumário: “... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”
Obter o texto integral

Recurso Electrónico livro electrónico

14

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

Publicado em 2006

Sumário: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Obter o texto integral

Recurso Electrónico livro electrónico

15

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

Publicado em 2007

Sumário: “... for Computation Tree Logic -- Extending a Resolution Prover for Inequalities on Elementary Functions -- Model...”
Obter o texto integral

Recurso Electrónico livro electrónico

16

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

Publicado em 2005

Sumário: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Obter o texto integral

Recurso Electrónico livro electrónico

17

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

Publicado em 2010

Sumário: “... for Imprecise Linear Filtering -- Peakedness and Generalized Entropy for Continuous Density Functions...”
Obter o texto integral

Recurso Electrónico livro electrónico

18

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

Publicado em 2014

Sumário: “... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”
Obter o texto integral

Recurso Electrónico livro electrónico

19

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

Publicado em 2015

Sumário: “... in Computer Aided Design -- Software Framework for Modular Machine Learning Systems -- Parallel cost function...”
Obter o texto integral

Recurso Electrónico livro electrónico

20

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

Publicado em 2014

Sumário: “... Modeling via Probabilistic Nodes Combination -- Computer-Aided System for Automatic Classification...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa