Sfoglia per Autore
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.
WEIGHTING SPATIAL ARRANGEMENT OF COLORS IN CONTENT BASED IMAGE RETRIEVAL
1999 S. BERRETTI; A. DEL BIMBO; E. VICARIO
MANAGING THE COMPLEXITY OF MATCH IN RETRIEVAL BY SPATIAL ARRANGEMENT
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
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
Modelling Spatial Relationships between Colour Clusters
2001 S. BERRETTI; A. DEL BIMBO; E. VICARIO
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
Using 3D and ancillary media to train construction workers
2002 E. VICARIO; J.ASSFALG; A.DEL BIMBO
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 AND VALIDATING TIMED SYSTEMS USING STANDARD SDL TOOLS
2003 G. BUCCI; E. VICARIO; A. FEDELI
MODELING FLEXIBLE REAL TIME SYSTEMS WITH PREEMPTIVE TIME PETRI NETS
2003 G. BUCCI; A. FEDELI; E. VICARIO; L. SASSOLI
Weighted Walkthroughs between Extended Entities for Retrieval by Spatial Arrangement
2003 S. BERRETTI; A. DEL BIMBO; E. VICARIO
RETRIEVAL BY VISUAL SIMILARITY FROM ARCHIVES OF GEOGRAPHIC MAPS
2003 S. BERRETTI; A. DEL BIMBO; E. VICARIO
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