Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • HTW Berlin  (471)
  • Bibliothek Lübbenau - Vetschau
  • Domstiftsarchiv
  • HEROLD
  • Fouque-Bibliothek Brandenburg
  • SB Neuruppin
  • Kath. HS Sozialwesen
  • IGB Berlin
  • Informationszentrum DGAP
  • SB Bad Liebenwerda
  • SB Lebus
  • SB Freyenstein
  • Bibliothek Meyenburg
  • 1990-1994  (471)
  • Informatik  (471)
  • Lizenziert  (471)
Medientyp
Sprache
Region
Bibliothek
Erscheinungszeitraum
Jahr
Zugriff
  • 1
    Online-Ressource
    Online-Ressource
    Amsterdam ; New York : North-Holland | New York, NY, USA : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co
    UID:
    b3kat_BV036962807
    Umfang: 1 Online-Ressource (xvi, 650 p.) , 23 cm
    Ausgabe: 3rd ed
    Ausgabe: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444880542 , 9780444880543
    Serie: Studies in logic and the foundations of mathematics v. 73
    Anmerkung: Includes bibliographical references (p. 623-640)
    Weitere Ausg.: Reproduktion von Model theory 1990
    Sprache: Englisch
    Fachgebiete: Informatik , Mathematik , Philosophie , Soziologie
    RVK:
    RVK:
    RVK:
    RVK:
    RVK:
    Schlagwort(e): Modelltheorie ; Prädikatenlogik ; Stufe 1 ; Modelltheorie ; Logik
    URL: Volltext  (Deutschlandweit zugänglich)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Online-Ressource
    Online-Ressource
    Amsterdam ; New York : Elsevier
    UID:
    b3kat_BV036962813
    Umfang: 1 Online-Ressource (xix, 1024 p.) , ill , 24 cm
    Ausgabe: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444898220 , 9780444898227
    Serie: Studies in logic and the foundations of mathematics v. 133
    Anmerkung: Includes bibliographical references and indexes
    Weitere Ausg.: Reproduktion von Selected papers on Automath 1994
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Automatisches Beweisverfahren ; Automat ; Formale Sprache ; Beweisführung ; Automatisches Beweisverfahren ; Aufsatzsammlung
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Online-Ressource
    Online-Ressource
    Amsterdam ; New York : North-Holland
    UID:
    b3kat_BV036962599
    Umfang: 1 Online-Ressource (vii, 382 p.) , ill , 23 cm
    Ausgabe: Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
    ISBN: 0444816925 , 9780444816924
    Serie: North-Holland mathematical library 51
    Anmerkung: Includes bibliographical references
    Weitere Ausg.: Reproduktion von Mathematical approaches to neural networks 1993
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    RVK:
    Schlagwort(e): Neuronales Netz ; Mathematisches Modell
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920625702882
    Umfang: VIII, 378 p. , online resource.
    ISBN: 9783540481034
    Serie: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 745
    Inhalt: Perceptual processes in humans and machines, investigated and simulated by means of the computational approach, are the subject matter of this volume. Researchers in artificial intelligence, pattern recognition, and psychology discuss aspects of vision, speech understanding, sensory-motor coordination, and their interplay with cognitive and behavioral functionalities. The papers adopt the computational approach as the basic research paradigm. Connectionist models, numerical and statistical techniques, symbolic (logic-based) formalisms, and hybrid representations provide the formal background to the research. Some of the papers were prepared for a workshop held in Trieste, Italy, in October 1992.
    Anmerkung: Gestalt problems in cognitive psychology: Field theory, invariance and auto-organisation -- Neural network learning in an ecological and evolutionary context -- Trends in pattern recognition -- Computer vision systems: Functionality and structure integration -- On the use of auditory models in speech technology -- Automatic speech recognition with neural networks: Beyond nonparametric models -- New shape from Shading methods -- Orientation-dependent effects in neural networks -- Identification of pattern dimensionality by self-organization -- A Markovian model for perceptual grouping of different shape primitives -- Segmented image reduction -- Design and acquisition of a task-oriented spontaneous-speech database -- Language and ambiguity -- Spatial Logic for image representation and retrieval-by-contents -- Communication among perceiving agents -- Perception of mental states from communication -- Perceptual grouping for scene interpretation in an active vision system -- Using viewer-centered representations in machine vision -- A non-linear integration process for the selection of visual information -- Distributed perceptive paradigms: Preliminary statements -- Anticipatory tracking of a moving object -- A time-to-crash detector based on area expansions: Example of an opto-motor reflex -- “Intelligent” telepresence: Introducing virtual reality in advanced robots.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540573791
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    RVK:
    Schlagwort(e): Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920629702882
    Umfang: XV, 210 p. , online resource.
    ISBN: 9783540481270
    Serie: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 746
    Inhalt: This monograph presents the author's studies in music recognition aimed at developing a computer system for automatic notation of performed music. The performance of such a system is supposed to be similar to that of speech recognition systems: acoustical data at the input and music scoreprinting at the output. The approach to pattern recognition employed is thatof artificial perception, based on self-organizing input data in order to segregate patterns before their identification by artificial intelligencemethods. The special merit of the approach is that it finds optimal representations of data instead of directly recognizing patterns.
    Anmerkung: Correlativity of perception -- Substantiating the model -- Implementing the model -- Experiments on chord recognition -- Applications to rhythm recognition -- Applications to music theory -- General discussion -- Conclusions.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540573944
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    URL: Cover
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920899502882
    Umfang: XI, 184 p. , online resource.
    ISBN: 9783540490142
    Serie: Lecture Notes in Computer Science, 870
    Inhalt: This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by simple substitution of data structures and sequential procedures. The author introduces generic programs for two paradigms and shows how to derive new distributed programs for several applications related to the RSA cryptosystem, including RSA enciphering and deciphering, prime number generation, and factoring. The book is well-written and easily accessible to the non-expert. The work is an appealing combination of the theory and practice of parallel computing and provides a clear introduction to the theory and practice of RSA cryptography.
    Anmerkung: Overview -- The RSA public-key cryptosystem -- Notation for distributed algorithms -- The competing servers arrays -- A distributed algorithm to find safe RSA keys -- Distributed factoring with competing servers -- The synchronized servers pipeline -- Message block chaining for distributed RSA enciphering -- Generating deterministically certified primes.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540584964
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Hochschulschrift ; Hochschulschrift
    URL: Cover
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947921005402882
    Umfang: VIII, 114 p. , online resource.
    ISBN: 9783540486695
    Serie: Lecture Notes in Computer Science, 843
    Inhalt: This comprehensive monograph investigates the computational power of Turing machines with sublogarithmic space. The studies are devoted to the Turing machine model introduced by Stearns, Hartmanis, and Lewis (1965) with a two-way read-only input tape and a separate two-way read-write work tape. The book presents the key results on space complexity, also as regards the classes of languages acceptable, under the perspective of a sublogarithmic number of cells used during computation. It originates from courses given by the author at the Technical University of Gdansk and Gdansk University in 1991 and 1992. It was finalized in 1994 when the author visited Paderborn University and includes the most recent contributions to the field.
    Anmerkung: Basic Notions -- Languages acceptable with logarithmic space -- Examples of languages acceptable with sublogarithmic space -- Lower bounds for accepting non-regular languages -- Space constructible functions -- Halting property and closure under complement -- Strong versus weak mode of space complexity -- Padding -- Deterministic versus nondeterministic Turing machines -- Space hierarchy -- Closure under concatenation -- Alternating hierarchy -- Independent complement -- Other models of Turing machines.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540583554
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    URL: Cover
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920722202882
    Umfang: VIII, 166 p. , online resource.
    ISBN: 9783540475064
    Serie: Lecture Notes in Computer Science, 651
    Inhalt: This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practicaluse of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of languages like Ada. As for time-critical systems, among the growing number of real-time applications there are some highly critical systems such as computer controlled chemical plants and nuclear power stations. The monograph shows how standard temporal logic can be used for the specification of message passing systems, and develops a special temporal logic for reasoning about quantitative temporal properties.The main application area is that of distributed real-time systems.
    Anmerkung: How to specify -- A review of modal and temporal logic -- Polymodal logics with inequality -- Message passing systems -- Time-critical systems -- Summary and concluding remarks.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540562832
    Sprache: Englisch
    Fachgebiete: Informatik , Mathematik
    RVK:
    RVK:
    Schlagwort(e): Hochschulschrift ; Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920624602882
    Umfang: VI, 156 p. , online resource.
    ISBN: 9783540470823
    Serie: Lecture Notes in Computer Science, 479
    Inhalt: The development of database technology has currently reached the stage of deductive database systems which use Horn clauses for defining relations. An important characteristic of these systems is the clear separation of logic and control. However, the programmer cannot affect the control part of a deductive database system. To eliminate this deficiency, this monograph presents a so-called expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains application-specific control information affecting the object-level deduction process. For example, object-level rules can be disregarded, and some tuples deduced at the object-level can be preferred to others. Besides the architecture of this system, the book also identifies some important possibilities of deduction control which are explained by characteristic examples.
    Anmerkung: A standard deductive database system -- An expert deductive database system -- Discarding irrelevant tuples -- Disregarding irrelevant rules -- Explicit termination of recursion -- Preferring useful rules -- Preferring useful tuples -- Summary and outlook.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540537540
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Hochschulschrift ; Hochschulschrift
    URL: Cover
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    Online-Ressource
    Online-Ressource
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    UID:
    almahu_9947920622302882
    Umfang: VIII, 142 p. , online resource.
    ISBN: 9783540471639
    Serie: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, 446
    Inhalt: Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming.
    Anmerkung: Basic notions -- Static program properties and transformations -- Terminating logic programs -- The problem of local variables -- And/or dataflow graphs -- A termination proof procedure -- Integration of unfolding techniques -- Conclusions.
    In: Springer eBooks
    Weitere Ausg.: Printed edition: ISBN 9783540528371
    Sprache: Englisch
    Fachgebiete: Informatik
    RVK:
    Schlagwort(e): Hochschulschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    Bibliothek Standort Signatur Band/Heft/Jahr Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie auf den KOBV Seiten zum Datenschutz