1. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Use of Different Microphone Array Configurations for Hands-Free Speech Recognition in Noisy and Reverberant Environment,
    European Conference on Speech Communication and Technology (EUROSPEECH `97),
    ISCA,
    1997
    , pp. 347-
    350
  2. Omologo, Maurizio; Matassoni, Marco; Svaizer, Piergiorgio; Giuliani, Diego,
    Experiments of Hands-Free Connected Digit Recognition Using a Microphone Array,
    IEEE Workshop on Automatic Speech Recognition and Understanding 1997,
    IEEE,
    1997
    , pp. 490-
    497
  3. Cimatti, Alessandro; Traverso, Paolo,
    Computational Reflection via Mechanized Logical Deduction,
    in «INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS»,
    Wiley,
    vol. 11,
    n. 5,
    1996
    , pp. 279-
    293
  4. Enrico, Giunchiglia; Armando, Alessandro; Traverso, Paolo; Cimatti, Alessandro,
    Visual Representation of Natural Language Scene Descriptions,
    in «IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS»,
    IEEE,
    vol. 26,
    n. 8,
    1996
    , pp. 279-
    293
  5. Bouquet, Paolo; Cimatti, Alessandro,
    Mechanizing Local Reasoning with Contexts,
    Working notes of the IJCAI-95 Workshop on ``Modelling Context in Knowledge Representation and Reasoning``,
    1996
    , pp. 13-
    23
  6. Cimatti, Alessandro; Serafini, Luciano,
    Mechanizing Multi-Agent Reasoning with Belief Contexts,
    Practical Reasoning, International Conference on Formal and Applied Practical Reasoning [FAPR`96],
    Springer,
    1996
    , pp. 694-
    696
  7. Massimo, Benerecetti; Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Serafini, Luciano,
    Context-Based Formal Specification of Multi-Agent Systems,
    Working Notes of the Third International Workshop on Agent Theories, Architectures, and Languages [ATAL-96],
    1996
    , pp. 295-
    307
  8. Omologo, Maurizio; Svaizer, Piergiorgio,
    Acoustic Source Location in Noisy and Reverberant Environment Using CSP Analysis,
    Proceedings of the International Conference on Acoustic, Speech and Signal Processing [ICASSP 96],
    1996
    , pp. 921-
    924
  9. Omologo, Maurizio; Svaizer, Piergiorgio,
    Localizzazione di sorgenti acustiche in ambiente rumoroso e riverberante,
    Atti del XXIV Convegno Nazionale dell'Associazione Italiana di Acustica,
    1996
    , pp. 203-
    205
  10. Giuliani, Diego; Omologo, Maurizio; Svaizer, Piergiorgio,
    Experiments of Speech Recognition in a Noisy and Reverberant Environment using a Microphone Array and HMM Adaptation,
    Proceedings of Fourth International Conference on Spoken Language Processing [ICSLP 96],
    1996
  11. Lazzari, Giannino; Omologo, Maurizio; Svaizer, Piergiorgio,
    Procedimento per la localizzazione di un parlatore e l’acquisizione di un messaggio vocale e relativo sistema.,
    1996
  12. Fausto Giunchiglia; Marco Roveri; Roberto Sebastiani,
    A New Method for Testing Decision Procedures in Modal and Terminological Logics,
    1996 International Workshop on Description Logics - DL`96,
    AAAI,
    1996
  13. Armando, Alessandro; Cimatti, Alessandro; E., Giunchiglia; P., Pecchiari; L., Spalazzi; Traverso, Paolo,
    Flexible Planning by Integrating Multilevel Reasoning,
    in «ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE»,
    Elsevier,
    vol. 4,
    1995
    , pp. 401-
    412
  14. Giuliano, Antoniol; Caprile, Bruno Giovanni; Cimatti, Alessandro; Roberto, Fiutem,
    Experiencing Real-Life Interactions with the Mobile Platform of MAIA,
    The Biology and Technology of Intelligent Autonomous Agents: Proceedings of the NATO Advanced Study on the Biology and Technology of Intelligent Autonomous Agents,
    Springer,
    1995
    , pp. 296-
    311
  15. Cimatti, Alessandro; Serafini, Luciano,
    Multi-Agent Reasoning with Belief Contexts III: Towards the Mechanization,
    IJCAI-95 Workshop on Modelling Context in Knowledge Representation and Reasoning,
    1995
    , pp. 35-
    45
  16. Cimatti, Alessandro; Serafini, Luciano,
    Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study,
    Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages,
    Springer,
    vol. 890,
    1995
    , pp. 71-
    85
  17. Cimatti, Alessandro; Serafini, Luciano,
    Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance,
    First International Conference on Multiagent Systems,
    MIT Press,
    1995
    , pp. 57-
    64
  18. Omologo, Maurizio; Svaizer, Piergiorgio,
    Talker Tracking and Speech Acquisition using two Microphone Pairs and a CrosspowerSpectrum Phase Analysis,
    Speech Recognition and Coding - New Advances and Trends, NATO ASI Series,
    1995
    , pp. 305-
    308
  19. Giuliani, Diego; Matassoni, Marco; Omologo, Maurizio; Svaizer, Piergiorgio,
    Hands Free Continuous Speech Recognition in Noisy Environment Using a Four Microphone Array,
    IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2005),
    IEEE,
    1995
    , pp. 860-
    863
  20. E. E., Jan; Svaizer, Piergiorgio; J. L., Flanagan,
    Matched-Filter Processing of Microphone Array for Spatial Volume Selectivity,
    Proceedings of the IEEE International Symposium on Circuits and Systems,
    1995
    , pp. 1460-
    1463