תוצאות חיפוש - program comparison https functionality based https

אפשרויות חיפוש:
https functionality » its functionality , bags functionality , cross functionality
functionality based » functional based , functionality needs , functionality business
program comparison » problem comparison , programming comparison , program composition
comparison https » comparison maps , comparison bits , computation https
based https » based http

Functions and Generality of Logic Reflections on Dedekind's and Frege's Logicisms /

מאת Benis-Sinaceur, Hourya., Benis-Sinaceur, Hourya., Panza, Marco., Sandu, Gabriel.
יצא לאור 2015

תוכן הענינים: “...Chapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions...”
קבל טקסט מלא

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

Genetic Programming 10th European Conference, EuroGP 2007, Valencia, Spain, April 11-13, 2007, Proceedings /

יצא לאור 2007

תוכן הענינים: “... -- An Empirical Boosting Scheme for ROC-Based Genetic Programming Classifiers -- Confidence Intervals...”
קבל טקסט מלא

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

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...”
קבל טקסט מלא

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

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

יצא לאור 2010

תוכן הענינים: “... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”
קבל טקסט מלא

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

Functional Imaging and Modeling of the Heart Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... Using Multi-View Active Appearance Models and Dynamic Programming -- SPASM: Segmentation of Sparse...”
קבל טקסט מלא

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

Inductive Logic Programming 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008, Proceedings /

יצא לאור 2008

תוכן הענינים: “...-Based ILP Systems -- Learning Aggregate Functions with Neural Networks Using a Cascade-Correlation...”
קבל טקסט מלא

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

Linear Genetic Programming

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

תוכן הענינים: “... Parameters -- A Comparison with Tree-Based Genetic Programming -- Advanced Techniques and Phenomena...”
קבל טקסט מלא

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

יצא לאור 2010

תוכן הענינים: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
קבל טקסט מלא

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

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International...

יצא לאור 2010

תוכן הענינים: “... for Upper Transition Operators -- An Empirical Comparison of Bayesian and Credal Set Theory for Discrete...”
קבל טקסט מלא

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

Genetic Programming Theory and Practice X

יצא לאור 2013

תוכן הענינים: “... mutation paradigm for Genetic Programming -- Introducing an Age-Varying Fitness Estimation Function -- EC...”
קבל טקסט מלא

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

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

יצא לאור 2006

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

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

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...”
קבל טקסט מלא

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

Graph-Based Representations in Pattern Recognition 5th IAPR International Workshop, GbRPR 2005, Poitiers, France, April 11-13, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “...-Consistent Graph Matching -- Edit Distance Based Kernel Functions for Attributed Graph Matching -- Graphs...”
קבל טקסט מלא

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

Adaptive Hypermedia and Adaptive Web-Based Systems 4th International Conference, AH 2006, Dublin, Ireland, June 21-23, 2006, Proceedings /

יצא לאור 2006

תוכן הענינים: “... Adaptation -- An Empirical Study About Calibration of Adaptive Hints in Web-Based Adaptive Testing...”
קבל טקסט מלא

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

Bio-Farms for Nutraceuticals Functional Food and Safety Control by Biosensors /

יצא לאור 2010

תוכן הענינים: “...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...”
קבל טקסט מלא

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

Reliable Software Technology – Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings /

יצא לאור 2005

תוכן הענינים: “... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”
קבל טקסט מלא

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

Beyond Knowledge: The Legacy of Competence Meaningful Computer-based Learning Environments /

יצא לאור 2008

תוכן הענינים: “... -- Interpersonal Knowledge in Virtual Seminars -- Individual Versus Group Learning as a Function of Task Complexity...”
קבל טקסט מלא

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