Výsledky vyhledávání - parallel programming inductive function function https

Alternativní vyhledávání:
programming inductive » programming interactive , programming industrial , programming active
parallel programming » parallel processing
inductive function » inductive functional , inductive ignition , deductive functional
function function » function functional , functions functional , function dysfunction
function https » functions https , fiction https

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Vydáno 2007

Obsah: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2006

Obsah: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Získat plný text

Elektronický zdroj E-kniha

SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2...

Vydáno 2010

Obsah: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
Získat plný text

Elektronický zdroj E-kniha

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Vydáno 2015

Obsah: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Získat plný text

Elektronický zdroj E-kniha

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Vydáno 2015

Obsah: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Získat plný text

Elektronický zdroj E-kniha

Swarm, Evolutionary, and Memetic Computing First International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2010, Chennai, India, December 16-18, 2010, Proceedi...

Vydáno 2010

Obsah: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
Získat plný text

Elektronický zdroj E-kniha

Advanced Techniques in Computing Sciences and Software Engineering

Vydáno 2010

Obsah: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Získat plný text

Elektronický zdroj E-kniha

Computational Science - ICCS 2007 7th International Conference, Beijing China, May 27-30, 2007, Proceedings, Part I /

Vydáno 2007

Obsah: “... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”
Získat plný text

Elektronický zdroj E-kniha

Networked Digital Technologies, Part II Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010 Proceedings /

Vydáno 2010

Obsah: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
Získat plný text

Elektronický zdroj E-kniha

Computer Science -- Theory and Applications First International Symposium on Computer Science in Russia, CSR 2006, St. Petersburg, Russia, June 8-12, 2006, Proceedings /

Vydáno 2006

Obsah: “...-Symmetric Graphs: Algorithms and Structure -- Inductive Type Schemas as Functors -- Unfolding Synthesis...”
Získat plný text

Elektronický zdroj E-kniha

Machine Learning: ECML 2005 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings /

Vydáno 2005

Obsah: “... -- Independent Subspace Analysis on Innovations -- On Applying Tabling to Inductive Logic Programming -- Learning...”
Získat plný text

Elektronický zdroj E-kniha

Learning and Intelligent Optimization 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /

Vydáno 2013

Obsah: “... -- A Constraint Satisfaction Approach to Tractable Theory Induction -- Features for Exploiting Black...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... to Evolve Programs -- Fuzzy Pattern Rule Induction for Information Extraction -- An Orthogonal and Model...”
Získat plný text

Elektronický zdroj E-kniha

Foundations of Intelligent Systems 15th International Symposium ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005, Proceedings /

Vydáno 2005

Obsah: “... for Dynamic Parameter Control of Parallel Evolutionary Algorithms -- Robust Inference of Bayesian Networks...”
Získat plný text

Elektronický zdroj E-kniha

Discovery Science 9th International Conference, DS 2006, Barcelona, Spain, October 7-10, 2006, Proceedings /

Vydáno 2006

Obsah: “... Inductive Logic Programming from Multiple Genome Databases -- Clustering Pairwise Distances with Missing...”
Získat plný text

Elektronický zdroj E-kniha

Machine Learning and Knowledge Discovery in Databases European Conference, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /

Vydáno 2008

Obsah: “... Machine Learning of Grammars and Compilers of Programming Languages -- Improving Classification...”
Získat plný text

Elektronický zdroj E-kniha

SOFSEM 2008: Theory and Practice of Computer Science 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Pro...

Vydáno 2008

Obsah: “... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”
Získat plný text

Elektronický zdroj E-kniha

Intelligent Robotics and Applications 5th International Conference, ICIRA 2012, Montreal, Canada, October 3-5, 2012, Proceedings, Part I /

Vydáno 2012

Obsah: “... Control for XY-Table -- Application of Fixed-Structure Genetic Programming for Classification -- Variable...”
Získat plný text

Elektronický zdroj E-kniha

ICT Innovations 2009

Vydáno 2010

Obsah: “... Techniques to the SA Tabu Miner Rule Induction Algorithm -- Information/Material Processing Synergy: Flexible...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání