Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 122
Titolo Data di pubblicazione Autore(i) File
Compositional validation of time-critical systems using Communicating Petri Nets 1995 G. BUCCI; E. VICARIO
Symbolic representation and visual querying of left ventricular image sequences 1999 M. BARONI; DEL BIMBO A; EVANGELISTI A; VICARIO E.
MANAGING THE COMPLEXITY OF MATCH IN RETRIEVAL BY SPATIAL ARRANGEMENT 1999 S. BERRETTI; A. DEL BIMBO; E. VICARIO
WEIGHTING SPATIAL ARRANGEMENT OF COLORS IN CONTENT BASED IMAGE RETRIEVAL 1999 S. BERRETTI; A. DEL BIMBO; E. VICARIO
A LOOK-AHEAD STRATEGY FOR GRAPH MATCHING IN RETRIEVAL BY SPATIAL ARRANGEMENT 2000 S. BERRETTI; A. DEL BIMBO; E. VICARIO
MODELING SPATIAL RELATIONSHIPS BETWEEN COLOR SETS 2000 S. BERRETTI; A. DEL BIMBO; E. VICARIO
THE COMPUTATIONAL ASPECT OF RETRIEVAL BY SPATIAL ARRANGEMENT 2000 S. BERRETTI; A. DEL BIMBO; E. VICARIO
Modelling Spatial Relationships between Colour Clusters 2001 S. BERRETTI; A. DEL BIMBO; E. VICARIO
Efficient Matching and Indexing of Graph Models in Content Based Retrieval 2001 S. BERRETTI; A. DEL BIMBO; E. VICARIO
Engineering the Usability of a Visual Formalism for Real-time Temporal Logic 2001 E. VICARIO
Static Analysis and Dynamic Steering of Time-Dependent Systems Using Time Petri Nets 2001 E. VICARIO
Using 3D and ancillary media to train construction workers 2002 E. VICARIO; J.ASSFALG; A.DEL BIMBO
Spatial Arrangement of Color in Retrieval by Visual Similarity 2002 S. BERRETTI; A. DEL BIMBO; E. VICARIO
USING PETRI NETS IN EVALUATING MOBILE COMMUNICATION SYSTEMS: A CASE STUDY 2002 G. BUCCI; A. FEDELI; E. VICARIO
RETRIEVAL BY VISUAL SIMILARITY FROM ARCHIVES OF GEOGRAPHIC MAPS 2003 S. BERRETTI; A. DEL BIMBO; E. VICARIO
Weighted Walkthroughs between Extended Entities for Retrieval by Spatial Arrangement 2003 S. BERRETTI; A. DEL BIMBO; E. VICARIO
PREDICTING TIMELINESS OF REACTIVE SYSTEMS UNDER FLEXIBLE SCHEDULING 2003 G. BUCCI; A. FEDELI; E. VICARIO
A DISCRETE TIME MODEL FOR PERFORMANCE EVALUATION AND CORRECTNESS VERIFICATION OF REAL TIME SYSTEMS 2003 G. BUCCI; E. VICARIO; L. SASSOLI
MODELING FLEXIBLE REAL TIME SYSTEMS WITH PREEMPTIVE TIME PETRI NETS 2003 G. BUCCI; A. FEDELI; E. VICARIO; L. SASSOLI
MODELING AND VALIDATING TIMED SYSTEMS USING STANDARD SDL TOOLS 2003 G. BUCCI; E. VICARIO; A. FEDELI
Mostrati risultati da 1 a 20 di 122
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile