You are here

Publications

Primary tabs

  1. Massimo Boninsegna; Alessandro Bozzoli,
    Sistema antiintrusione basato su elaborazione visiva,
    , (Terzo Convegno Nazionale del Progetto Finalizzato Trasporti Due,
    Roma,
    1997)
  2. 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)
  3. 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)
  4. 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)
  5. G. Caldiera; C. Lokan; G. Antoniol; R. Fiutem; S. Curtis; G. La Commare; E. Mambella,
    Estimating Size and Effort for Object Oriented Systems,
    Proceedings of the Australian Conference of Software Metrics [ACOSM97],
    , pp. 147-
    158
  6. F. Ciravegna; Alberto Lavelli; G. Satta,
    Efficient Full Parsing for Information Extraction,
    Proceedings of 'Incontro dei Gruppi di Lavoro dell'Associazione Italiana per l'Intelligenza Artificiale (AI IA): Apprendimento Automatico e Linguaggio Naturale',
  7. A. Giorgi; Fabio Pianesi,
    Present Tense, Perfectivity and the Anchoring Conditions,
    Proceedings of the IATL-97, Israel, 4-5 June 1997,
  8. Maurizio Omologo; Marco Matassoni; Piergiorgio Svaizer; Diego Giuliani,
    Experiments of Hands-Free Connected Digit Recognition Using a Microphone Array,
    IEEE Workshop on Automatic Speech Recognition and Understanding 1997,
    IEEE,
    , pp. 490-
    497
    , (IEEE Workshop on Automatic Speech Recognition and Understanding 1997,
    Santa Barbara, USA,
    14/12/1997 - 17/12/1997)
  9. S.R. Julian; F.V. Cartera; F.M. Groschea; R.K.W. Haselwimmera; S.J. Listera; N.D. Mathura; G.J. McMullana; C. Pfleiderera; S. Shanker Saxena; I.R. Walkera; N.J.W. Wilsona and G.G. Lonzarich,
    Non-Fermi-liquid behaviour in magnetic d- and f-electron systems,
    in «JOURNAL OF MAGNETISM AND MAGNETIC MATERIALS»
    vol.177,
    , pp. 265-
    270
    , (International Conference on Magnetism,
    CAIRNS, AUSTRALIA,
    27-07/01-08/1997)
  10. R. Brunelli; O. Mich,
    Procedimento per memorizzare e ritrovare immagini di persone ad esempio in archivi fotografici e per la costruzione di identikit e relativo sistema..
    Each characteristic (or feature) of the images to be stored is associated with a region the size of which corresponds to the average size of the feature in the images stored. The preferred application is in techniques for searching photographic archives and for the construction of identikit images.