You are here

Publications

Primary tabs

  1. Fausto Giunchiglia; Adolfo Villafiorita,
    ABSFOL: A Proof Checker with Abstraction,
    Automated Deduction - Cade 13, Proceedings of the 13th International Conference on Automated Deduction [CADE13],
    , pp. 136-
    140
    , (Automated Deduction - Cade 13, Proceedings of the 13th International Conference on Automated Deduction [CADE13],
    New Brunswick, USA,
    30/07/1996 - 03/08/)
  2. Alberto Lui; Benno Margesin; Mario Zen; G. Verzellesi; Giovanni Soncini,
    Sensori bio-chimici integrati in tecnologia ISFET/CMNOS,
    Prima Conferenza Nazionale `Sensori e microsistemi`,
    , (Prima Conferenza Nazionale `Sensori e microsistemi`,
    Roma, Italy,
    19/02/1996 - 20/02/1996)
  3. G. Verzellesi; L. Colalongo; Giovanni Soncini; Alberto Lui; Benno Margesin; M. Rudan; D. Passeri; P. Ciampolini,
    Simulazione numerica di trasduttori LAPS (Light Addressable Potentiometric Sensors),
    Proceedings of Prima Conferenza Nazionale 'Sensori e microsistemi',
  4. Elena Not,
    A Computational Model for Generating Referring Expressions in a Multilingual Application Domain,
    Proceedings of the 16th International Conference on Computational Linguistics [COLING-96],
    , pp. 848-
    853
  5. Francesco Ricci; Paolo Avesani,
    Exact Learning and Data Compression with a Local Asymmetrically Weighted Metric,
    Worshop on Learning in Context-Sensitive Domains [ICML-96],
  6. Pierluigi Bellutti; Maurizio Boscardin; Mario Zen; Nicola Zorzi,
    On the improving of the gate oxide reliability,
    Proceedings of the Third International Symposium on the Physics and Chemistry of SiO2 and the Si-SiO2 Interface,
    Electrochemical Society,
    vol.PV 96-1,
    , pp. 635-
    644
    , (Proceedings of the Third International Symposium on the Physics and Chemistry of SiO2 and the Si-SiO2 Interface,
    Los Angeles (CA), USA,
    05/05/1996 - 10/05/1996)
  7. Edmondo Trentin; Diego Giuliani; Cesare Furlanello,
    Spectral Mapping: A Comparison of Connectionist Approaches,
    Proceedings of the VIII Workshop on Neural Nets [WIRN 96],
  8. C. Bagnasco; Paolo Bresciani; Bernardo Magnini; Carlo Strapparava,
    Natural Language Interpretation for Public Administration Database Querying in the TAMIC Demonstrator,
    Applications of Natural Language to Information Systems: Proceedings of the Second International Workshop,
  9. Fausto Giunchiglia; Roberto Sebastiani,
    Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K,
    Automated Deduction- Cade 13: Proceedings of the 13th International Conference on Automated Deduction [CADE13],
  10. Maurizio Omologo; Piergiorgio Svaizer,
    Acoustic Source Location in Noisy and Reverberant Environment Using CSP Analysis,
    Proceedings of the International Conference on Acoustic, Speech and Signal Processing [ICASSP 96],
    , pp. 921-
    924