Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Applied marketing --- Consumer behavior --- Older consumers --- Aged consumers --- Great Britain --- United States --- Aged as consumers - Great Britain. --- Aged as consumers - United States.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Computer Science. --- Mathematical Logic and Formal Languages. --- Mathematics of Computing. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Data Structures, Cryptology and Information Theory. --- Computer science. --- Data structures (Computer science). --- Computer software. --- Logic design. --- Informatique --- Structures de données (Informatique) --- Logiciels --- Structure logique --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer science --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Informatics --- Science --- Foundations --- Data structures (Computer scienc. --- Data Structures and Information Theory. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Computer science—Mathematics. --- Machine theory. --- Information theory. --- Formal Languages and Automata Theory. --- Computer Science Logic and Foundations of Programming. --- Communication theory --- Communication --- Cybernetics --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer algorithms --- Machine learning --- Algorithmes --- Apprentissage automatique --- Congresses. --- Congrès --- Computer Science --- Mechanical Engineering - General --- Mechanical Engineering --- Engineering & Applied Sciences --- Information Technology --- Artificial Intelligence --- Computer science. --- Computers. --- Algorithms. --- Mathematical logic. --- Artificial intelligence. --- Text processing (Computer science). --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Document Preparation and Text Processing. --- Processing, Text (Computer science) --- Database management --- Electronic data processing --- Information storage and retrieval systems --- Word processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Foundations --- Computer software. --- Natural language processing (Computer science). --- Artificial Intelligence. --- Natural Language Processing (NLP). --- NLP (Computer science) --- Artificial intelligence --- Human-computer interaction --- Semantic computing --- Software, Computer

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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)