You are here

Publications

Primary tabs

  1. Pierluigi Bellutti; R. Bovo; Maurizio Boscardin; Giovanni Soncini; Mario Zen; Nicola Zorzi,
    Intrinsic Gettering in a CCD/CMOS Process,
    Symposium on High Purity Silicon III,
    , pp. 634-
    635
    , (Symposium on High Purity Silicon III,
    Miami, USA,
    09/10/1994 - 14/10/1994)
  2. G. Antoniol; Fabio Brugnara; Mauro Cettolo; Marcello Federico,
    Language Model Estimations and Representations for Real-Time Continuous Speech Recognition,
    ICSLP `94,
    , pp. 859-
    862
    , (ICSLP `94,
    Yokohama, Japan,
    18/09/1994 - 22/09/1994)
  3. Bianca Angelini; G. Antoniol; Fabio Brugnara; Mauro Cettolo; Marcello Federico; R. Fiutem; Gianni Lazzari,
    Radiological reporting by speech recognition: the A.Re.S. System,
    ICSLP `94,
    , pp. 1267-
    1270
    , (ICSLP `94,
    Yokohama, Japan,
    18/09/1994 - 22/09/1994)
  4. A.C. Varzi,
    Sull'intelligenza delle macchine,
    Proceedings of the 26° Convegno sui Problemi Internazionali promosso dall'Istituto "Rezzara" di Vicenza with the title La società dell'informazione: ultima utopia?,
    , pp. 37-
  5. Pierluigi Bellutti; Maurizio Boscardin; Alberto Lui; Giovanni Soncini; Mario Zen; Nicola Zorzi,
    Bird`s Beak Reduction by Dry LOCOS Technique,
    Proceedings of the 22nd International Conference on Microelectronics (MIEL `94) and of the 30th Symposium on Devices and Materials (SD `94),
    , pp. 127-
    131
    , (Proceedings of the 22nd International Conference on Microelectronics (MIEL `94) and of the 30th Symposium on Devices and Materials (SD `94),
    Terme Zrece-Rogla, Slovenia,
    28/09/1994 - 30/09/1994)
  6. A. Artale; E. Franconi,
    Persistent Properties in a Description Logic of Time and Action,
    Proceedings of IV Convegno dell'Associazione Italiana per l'Intelligenza Artificiale [AIIA'94],
    , pp. 9-
    12
  7. Fausto Giunchiglia; Paolo Traverso,
    Program Tactics and Logic Tactics,
    Logic Programming and Automated Reasoning, 5th International Conference (LPAR 1994),
    Springer,
    vol.822,
    , pp. 16-
    30
    , (Logic Programming and Automated Reasoning, 5th International Conference (LPAR 1994),
    Kiev, Ukraine,
    1994)
  8. Fausto Giunchiglia; Alessandro Armando; Alessandro Cimatti; Paolo Traverso,
    First steps towards provably correct system synthesis of system code,
    CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
    , pp. 28-
    30
    , (CADE-12 Workshop on Correctness and Metatheoretic Extensibility of Automated Reasoning Systems,
    Nancy, France,
    1994)
  9. Mauro Di Manzo; Enrico Giunchiglia; Paolo Traverso,
    A three level architecture for the modular specification of knowledge and reasoning strategies,
    ECAI-94 Workshop on Formal Specification Methods for Knowledge-Based Systems,
    , pp. 113-
    127
    , (ECAI-94 Workshop on Formal Specification Methods for Knowledge-Based Systems,
    Amsterdam, The Netherlands,
    1994)
  10. Pierluigi Bellutti; Maurizio Boscardin; Nicola Zorzi; R. Bovo; P. Rossetto; Giovanni Soncini,
    Gettering intrinseco in silicio semiconduttore,
    2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    , pp. 585-
    592
    , (2° Congresso nazionale sui materiali per Ingegneria - AIMAT 94,
    Trento, Italy,
    19/09/1994 - 21/09/1994)