We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Computer science

Search Results

Showing 641-648 of 648 results

  1. Why should an ITS bother with students' explanations?

    PROBIT (PROBability Intelligent Tutor) served as a test bed for examining the potential roles of students' explanations in an ITS. PROBIT's...
    Rachel Or-Bach, Ehud Bar-On in Intelligent Tutoring Systems
    Conference paper 1992

  2. Syntactic Neural Networks in VLSI

    Syntactic neural networks (SNNs) are an important new paradigm for neural computation. Their power stems from the existence of an...
    Simon Lucas, Bob Damper in VLSI for Artificial Intelligence and Neural Networks
    Chapter 1991

  3. High level tree transducers and iterated pushdown tree transducers

    n -level tree transducers ( n ≧0) combine the features of n -level tree grammars and of top-down tree transducers in the sense that the derivations of the...

    Joost Engelfriet, Heiko Vogler in Acta Informatica
    Article 01 October 1988

  4. Technische Fragen

    Während in den vorangegangenen Kapiteln der Mensch und seine Anforderungen an die MMS im Mittelpunkt standen, soll nun die technische Seite der MMS...
    Veith Risak in Mensch-Maschine-Schnittstelle in Echtzeitsystemen
    Chapter 1986

  5. Parallel algorithms for the rounding exact summation of floating point numbers

    Pichat and Bohlender studied an algorithm for the rounding exact summation of floating point numbers which can be executed on any floating point...

    H. Leuprecht, W. Oberaigner in Computing
    Article 01 June 1982

  6. Storage modification machines

    In 1970 the author introduced a new machine model (cf. [11]) now called storage modification machine (SMM) and posed the intuitive thesis that (among...
    A. Schönhage in Theoretical Computer Science 4th GI Conference
    Conference paper 1979

  7. P-T-Netze zur numerischen Simulation von asynchronen Fluessen

    Fuer das Verstaendnis dieser Ausfuehrungen ist eine gewisse Vertrautheit mit PETRI-Netzen nuetzlich. Die hier vorgestellten P-T-Netze...
    H. Fuss in GI-4.Jahrestagung
    Chapter 1975

  8. Stabilität linearer ökonometrischer Modelle

    Linear econometric models are used for prediction purposes and simulation of economic policy. The paper investigates the stability behaviour of an...

    P. Fleissner in Computing
    Article 01 December 1972
Did you find what you were looking for? Share feedback.