Listing 1 - 4 of 4 |
Sort by
|
Choose an application
This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; computational complexity and Boolean functions; graphy theory; quantum computing; parallelism and statistics; learning, automata and probabilistic models; parameterised complexity.
Mathematical logic --- Logic --- Complex analysis --- Mathematics --- Computer science --- Information systems --- Computer. Automation --- complexe analyse (wiskunde) --- computers --- informatica --- externe fixatie (geneeskunde --- programmeren (informatica) --- informatietechnologie --- wiskunde --- algoritmen --- logica
Choose an application
Mathematical logic --- Complex analysis --- Graphics industry --- Computer science --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- complexe analyse (wiskunde) --- grafische technieken --- informatica --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- robots --- AI (artificiële intelligentie)
Choose an application
This book constitutes the proceedings of the 24th International Conference on Algorithmic Learning Theory, ALT 2013, held in Singapore in October 2013, and co-located with the 16th International Conference on Discovery Science, DS 2013. The 23 papers presented in this volume were carefully reviewed and selected from 39 submissions. In addition the book contains 3 full papers of invited talks. The papers are organized in topical sections named: online learning, inductive inference and grammatical inference, teaching and learning from queries, bandit theory, statistical learning theory, Bayesian/stochastic learning, and unsupervised/semi-supervised learning.
Mathematical logic --- Logic --- Complex analysis --- Mathematical statistics --- Computer science --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- patroonherkenning --- factoranalyse --- complexe analyse (wiskunde) --- bedrijfssoftware --- Bayesian statistics --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- wiskunde --- KI (kunstmatige intelligentie) --- logica --- computerkunde --- robots --- optica --- AI (artificiële intelligentie)
Choose an application
This volume contains the papers presented at the 21st International Conf- ence on Algorithmic Learning Theory (ALT 2010), which was held in Canberra, Australia, October 6–8, 2010. The conference was co-located with the 13th - ternational Conference on Discovery Science (DS 2010) and with the Machine Learning Summer School, which was held just before ALT 2010. The tech- cal program of ALT 2010, contained 26 papers selected from 44 submissions and ?ve invited talks. The invited talks were presented in joint sessions of both conferences. ALT 2010 was dedicated to the theoretical foundations of machine learning and took place on the campus of the Australian National University, Canberra, Australia. ALT provides a forum for high-quality talks with a strong theore- cal background and scienti?c interchange in areas such as inductive inference, universal prediction, teaching models, grammatical inference, formal languages, inductive logic programming, query learning, complexity of learning, on-line learning and relative loss bounds, semi-supervised and unsupervised learning, clustering,activelearning,statisticallearning,supportvectormachines,Vapnik- Chervonenkisdimension,probablyapproximatelycorrectlearning,Bayesianand causal networks, boosting and bagging, information-based methods, minimum descriptionlength,Kolmogorovcomplexity,kernels,graphlearning,decisiontree methods, Markov decision processes, reinforcement learning, and real-world - plications of algorithmic learning theory. DS 2010 was the 13th International Conference on Discovery Science and focused on the development and analysis of methods for intelligent data an- ysis, knowledge discovery and machine learning, as well as their application to scienti?c knowledge discovery. As is the tradition, it was co-located and held in parallel with Algorithmic Learning Theory.
Mathematical logic --- Logic --- Complex analysis --- Computer science --- Programming --- Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- complexe analyse (wiskunde) --- computers --- programmeren (informatica) --- wiskunde --- algoritmen --- KI (kunstmatige intelligentie) --- logica --- AI (artificiële intelligentie)
Listing 1 - 4 of 4 |
Sort by
|