Παρακολούθηση
Enrico Vicario
Enrico Vicario
professor, University of Florence, Italy
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unifi.it - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Efficient matching and indexing of graph models in content-based retrieval
S Berretti, A Del Bimbo, E Vicario
IEEE Transactions on Pattern Analysis and Machine Intelligence 23 (10), 1089 …, 2001
2952001
Symbolic description and visual querying of image sequences using spatio-temporal logic
A Del Bimbo, E Vicario, D Zingoni
IEEE transactions on knowledge and data engineering 7 (4), 609-622, 1995
1971995
Compositional validation of time-critical systems using communicating time Petri nets
G Bucci, E Vicario
IEEE transactions on software engineering 21 (12), 969-992, 1995
1711995
Timed state space analysis of real-time preemptive systems
G Bucci, A Fedeli, L Sassoli, E Vicario
IEEE transactions on software engineering 30 (2), 97-111, 2004
1592004
Static analysis and dynamic steering of time-dependent systems
E Vicario
IEEE transactions on software engineering 27 (8), 728-748, 2001
1582001
Transient analysis of non-Markovian models using stochastic state classes
A Horváth, M Paolieri, L Ridi, E Vicario
Performance Evaluation 69 (7-8), 315-335, 2012
1192012
Using stochastic state classes in quantitative evaluation of dense-time reactive systems
E Vicario, L Sassoli, L Carnevali
IEEE Transactions on Software Engineering 35 (5), 703-719, 2009
1022009
Using weighted spatial relationships in retrieval by visual contents
A Del Bimbo, E Vicario
Proceedings. IEEE Workshop on Content-Based Access of Image and Video …, 1998
1011998
Oris: a tool for modeling, verification and evaluation of real-time systems
G Bucci, L Carnevali, L Ridi, E Vicario
International journal on software tools for technology transfer 12, 391-403, 2010
902010
Weighted walkthroughs between extended entities for retrieval by spatial arrangement
S Berretti, A Del Bimbo, E Vicario
IEEE Transactions on Multimedia 5 (1), 52-70, 2003
792003
A spatial logic for symbolic description of image contents
A Del Bimbo, E Vicario, D Zingoni
Journal of Visual Languages & Computing 5 (3), 267-286, 1994
721994
Using temporal logic and model checking in automated recognition of human activities for ambient-assisted living
T Magherini, A Fantechi, CD Nugent, E Vicario
IEEE Transactions on Human-Machine Systems 43 (6), 509-521, 2013
712013
Correctness verification and performance analysis of real-time systems using stochastic preemptive time Petri nets
G Bucci, L Sassoli, E Vicario
IEEE Transactions on Software Engineering 31 (11), 913-927, 2005
582005
Unsupervised human activity recognition using the clustering approach: A review
P Ariza Colpas, E Vicario, E De-La-Hoz-Franco, M Pineres-Melo, ...
Sensors 20 (9), 2702, 2020
572020
State-density functions over DBM domains in the analysis of non-Markovian models
L Carnevali, L Grassi, E Vicario
IEEE Transactions on Software Engineering 35 (2), 178-194, 2008
562008
Modeling flexible real time systems with preemptive time Petri nets
G Bucci, A Fedeli, L Sassoli, E Vicario
15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., 279-286, 2003
562003
Image retrieval by color semantics with incomplete knowledge
JM Corridoni, A Del Bimbo, E Vicario
Journal of the American Society for Information Science 49 (3), 267-282, 1998
541998
Compositional verification for hierarchical scheduling of real-time systems
L Carnevali, A Pinzuti, E Vicario
IEEE Transactions on Software Engineering 39 (5), 638-657, 2012
492012
Ontologies and Bayesian networks in medical diagnosis
G Bucci, V Sandrucci, E Vicario
2011 44th Hawaii International Conference on System Sciences, 1-8, 2011
482011
Human activity recognition data analysis: History, evolutions, and new trends
PP Ariza-Colpas, E Vicario, AI Oviedo-Carrascal, S Butt Aziz, ...
Sensors 22 (9), 3401, 2022
462022
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20