You are here

Publications

Primary tabs

  1. A. Giorgi; A. Pianesi,
    On the Morphosyntax of Temporal Arguments,
    27th Linguistic Symposium on Romance Languages [LSRL-27],
  2. Paolo Avesani; Anna Perini; Francesco Ricci,
    CBET: A Case Base Exploration Tool,
    Quinto Congresso della Associazione Italiana per l'Intelligenza Artificiale [AI IA],
  3. Luciano Serafini; Chiara Ghidini,
    Local Models Semantics for Information Integration,
    AAAI Fall symposium on Context in Knowledge Representation (KR) and Natural Language (NL),
    AAAI,
    , (AAAI Fall symposium on Context in Knowledge Representation (KR) and Natural Language (NL),
    Cambridge, Massachusetts,
    08/11/1997 - 10/11/1997)
  4. Bianca Angelini; Mauro Cettolo; A. Corazza; Giuseppe Falavigna; Gianni Lazzari,
    Multilingual Person to Person Communication at IRST,
    ICASSP `97,
    , pp. 91-
    94
    , (ICASSP `97,
    Munich, Germany,
    21/04/1997 - 24/04/1997)
  5. Piergiorgio Svaizer; Maurizio Omologo; Marco Matassoni,
    Acoustic Source Location in a Three-Dimensional Space using Crosspower Spectrum Phase,
    IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1997),
    , pp. 231-
    234
    , (IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1997),
    Munich, Germany,
    21/04/1997 - 24/04/1997)
  6. Maurizio Omologo; Marco Matassoni; Piergiorgio Svaizer; Diego Giuliani,
    Microphone Array based Speech Recognition with Different Talker-Array Positions,
    IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1997),
    , pp. 227-
    230
    , (IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 1997),
    Munich, Germany,
    21/04/1997 - 24/04/1997)
  7. Massimo Boninsegna; Alessandro Bozzoli,
    Sistema antiintrusione basato su elaborazione visiva,
    , (Terzo Convegno Nazionale del Progetto Finalizzato Trasporti Due,
    Roma,
    1997)
  8. Luciano Serafini; Chiara Ghidini,
    Context Based Semantics for Federated Databases,
    International and Interdisciplinary Conference on Modeling and Using Context [Context-97],
    , pp. 33-
    45
    , (International and Interdisciplinary Conference on Modeling and Using Context [Context-97],
    Rio de Janeiro, Brasil,
    1997)
  9. Alessandro Cimatti; Fausto Giunchiglia; P. Pecchiari; B. Pietra; J. Profeta; D. Romano; Paolo Traverso; B. Yu,
    A Provably Correct Embedded Verifier for the Certification of Safety Critical Software,
    Computer Aided Verification - 9th International Conference (CAV 1997),
    Springer,
    vol.1254,
    , pp. 202-
    213
    , (Computer Aided Verification - 9th International Conference (CAV 1997),
    Haifa, Israel,
    1997)
  10. Nicola Cancedda; Gjertrud Kamstrup; Emanuele Pianta; Ettore Pietrosanti,
    SAX: Generating Hypertext from SADT Models,
    3rd Workshop on Applications of Natural Language to Information Systems (NLDB `97),
    , (3rd Workshop on Applications of Natural Language to Information Systems (NLDB `97),
    Vancouver, Canada,
    25/06/1997 - 27/06/1997)