Listing 1 - 5 of 5 |
Sort by
|
Choose an application
Formal languages --- Sequential machine theory --- Langages formels --- Théorie des machines séquentielles --- Machine theory --- Machines séquentielles, Théorie des --- Automates mathématiques, Théorie des --- Théorie des machines séquentielles --- Langages formels. --- Machines séquentielles, Théorie des. --- Automates mathématiques, Théorie des. --- Machines séquentielles, Théorie des. --- Automates mathématiques, Théorie des.
Choose an application
This book describes how model selection and statistical inference can be founded on the shortest code length for the observed data, called the stochastic complexity. This generalization of the algorithmic complexity not only offers an objective view of statistics, where no prejudiced assumptions of ""true"" data generating distributions are needed, but it also in one stroke leads to calculable expressions in a range of situations of practical interest and links very closely with mainstream statistical theory. The search for the smallest stochastic complexity extends the classical maximum likel
Machine theory. --- Computational complexity. --- Stochastic processes. --- Random processes --- Probabilities --- Complexity, Computational --- Electronic data processing --- Machine theory --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Computational complexity --- Stochastic processes --- Complexité de calcul (Informatique) --- Automates mathématiques, Théorie des --- Processus stochastiques
Choose an application
Computer. Automation --- Electronic data processing. --- Computers. --- Informatique --- Ordinateurs --- Electronic data processing --- Computers --- 655.28.022.36 --- #WSCH:AAS2 --- infobib --- 681.3 --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Office practice --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Machine theory --- Calculators --- Cyberspace --- Desktop publishing. Electronic publishing --- Computer science --- Automation --- Algorithms --- Turing machines --- Algorithmes --- INFORMATIQUE --- Automates mathématiques, théorie des --- Turing, Machines de --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Algorithmes. --- Informatique. --- Automates mathématiques, Théorie des. --- Turing, Machines de. --- Automates mathématiques, Théorie des.
Choose an application
This volume contains the proceedings of ICALP 89, held at Stresa, Italy, July 11-15, 1989. ICALP 89 is the 16th International Colloquium on Automata, Languages and Programming in a series of meetings sponsored by the European Association for Theoretical Computer Science (EATCS). It is a broadly based conference covering all aspects of theoretical computer science including topics such as computability, automata theory, formal language theory, analysis of algorithms, computational complexity, mathematical aspects of programming language definition, logic and semantics of programming languages, foundations of logic programming, theorem proving, software specification, computational geometry, data types and data structures, theory of data bases and knowledge based systems, cryptography, VLSI structures, parallel and distributed computing, models of concurrency and robotics.
Computer science --- Machine theory --- Formal languages --- Computer programming --- Automates mathématiques, Théorie des --- Langages formels --- Programmation (Informatique) --- Congresses --- Congrès --- 681.3*C1 --- 681.3*E1 --- 681.3*F --- 681.3*I1 --- 681.3*I23 --- Processor architectures (Computer systems organization) --- Data structures: arrays; graphs; lists; tables; trees --- Theory of computation --- Algebraic manipulation (Computing methodologies) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*F Theory of computation --- 681.3*E1 Data structures: arrays; graphs; lists; tables; trees --- 681.3*C1 Processor architectures (Computer systems organization) --- Automates mathématiques, Théorie des --- Congrès --- Information theory. --- Logic design. --- Computer software. --- Computer science. --- Combinatorics. --- Theory of Computation. --- Logics and Meanings of Programs. --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Computation by Abstract Devices. --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Communication theory --- Communication --- Cybernetics --- Informatique --- BASIC (Computer program language) --- Automates mathématiques, Théorie des - Congres --- Langages formels - Congres --- Programmation (Informatique) - Congres
Choose an application
Artificial intelligence --- Programming languages (Electronic computers) --- Machine theory --- Intelligence artificielle --- Langages de programmation --- Automates mathématiques, Théorie des --- 681.3*D31 --- 681.3*F32 --- 681.3*H12 --- 681.3*I27 --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- User/machine systems: human factors; human information processing --- Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence) --- Artificial intelligence. --- Programming languages (Electronic computers). --- Machine theory. --- Programación (Computadoras electrónicas) --- Máquinas, Teoría de las. --- grammaire associative. --- communication homme-machine. --- théorie automate. --- grammaire formelle. --- langage naturel. --- intelligence artificielle. --- Intelligence artificielle. --- Automates mathématiques, Théorie des. --- Programmation (Informatique) --- Kunstmatige intelligentie. --- Programmeertalen. --- Cybernetica. --- Mens-machine-systemen. --- Communicatie. --- Symbolische logica. --- Automates. --- Natürliche Sprache. --- Linguistische Datenverarbeitung. --- Lenguajes. --- Programmation (Informatique). --- 681.3*I27 Natural language processing: language generation; language models; language parsing and understanding; machine translation; speech recognition and under-standing; text analysis (Artificial intelligence) --- 681.3*H12 User/machine systems: human factors; human information processing --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Communication homme-machine. --- Grammaire associative. --- Grammaire formelle. --- Langage naturel. --- Théorie automate. --- Automates mathématiques, Théorie des
Listing 1 - 5 of 5 |
Sort by
|