You are here

Publications

Primary tabs

  1. Cesare Furlanello; Diego Giuliani,
    Reti neurali e trasformazioni spettrali per l`adattamento al parlatore,
    in «RIVISTA ITALIANA DI ACUSTICA»,
    n. 4,
    , pp. 125 -
    129
  2. Fausto Giunchiglia; P. Pecchiari; A. Armando,
    Towards Provably Correct System Synthesis and Extension,
    , pp. 1 -
    15
  3. Roberto Brunelli; Ornella Mich,
    Spot It! An Interactive Indentikit System,
    in «GRAPHICAL MODELS AND IMAGE PROCESSING»,
    vol. 58,
    n. 5,
    , pp. 399 -
    404
  4. Fabio Pianesi; A.C. Varzi,
    Events, Topology and Temporal Relations,
    , pp. 89 -
    116
  5. Paolo Bresciani,
    The Challenge of Integrating Knowledge Representation and Databases,
  6. M. Kaufmann; P. Pecchiari,
    Interaction with the Boyer-Moore Theorem Prover: A Tutorial Study Using the Arithmetic-Geometric Mean Theorem,
    , pp. 181 -
    222
  7. Fausto Giunchiglia; E. Giunchiglia,
    Ideal and Real Belief about Belief: Some Intuitions,
    in «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE»,
    vol. 1038,
    , pp. 1 -
    12
  8. Fabio Pianesi; A.C. Varzi,
    Refining Temporal Reference in Event Structures,
    , pp. 17 -
    27
  9. F. Valentinotti; G. Di Caro; B. Crespi,
    Real-Time Parallel Implementation of A Phase-difference-based Algorithm for Disparity and Optical Flow Computation,
    , pp. 87 -
    96
  10. Pierluigi Bellutti; Mario Zen,
    Oxide Growth Effects in Micron and Sub-Micron Field Regions: A Comparison Between Wet and Dry Oxidation,
    in «JOURNAL OF THE ELECTROCHEMICAL SOCIETY»,
    vol. 143,
    n. 9,
    , pp. 2953 -
    2957