Sfoglia per Autore
Preliminary Description of NACK-based Ad-hoc On-demand Distance Vector Routing Protocol for MANETs
2014-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Suitability of Abstract State Machines for Discussing Mobile Ad-hoc Networks
2014-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
A Probabilistic Grammar for Procedural Content Generation
2014-01-01 Sportelli, Francesco; Toto, Giuseppe; Vessio, Gennaro
Applying Predicate Abstraction to Abstract State Machines
2015-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Comparing AODV and N-AODV Routing Protocols for Mobile Ad-hoc Networks
2015-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Reasoning about Properties with Abstract State Machines
2015-01-01 Vessio, Gennaro
CoreASM-based Evaluation of the N-AODV Protocol for Mobile Ad-hoc Networks
2016-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Towards an ASM-based Characterization of the Deadlock-freedom Property
2016-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Reasoning on Starvation in AODV using Abstract State Machines
2016-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Towards a Digitized Protocol based on Handwriting for the Assessment of Neurodegenerative Disorders
2017-01-01 Impedovo, Donato; Pirlo, Giuseppe; Teresa Angelillo, Maria; Vessio, Gennaro
Analysis of Properties of Complex Systems with Abstract State Machines
2017-04-28 Vessio, Gennaro
An overview on on-line handwriting analysis for the assessment of AD and PD
2018-01-01 Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
A new ConvNet architecture for heartbeat classification
2018-01-01 Dentamaro, Vincenzo; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
Dynamic Handwriting Analysis for Supporting Earlier Parkinson’s Disease Diagnosis
2018-01-01 Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
An ASM-based characterisation of starvation-free systems
2018-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Intercepting Blackhole Attacks in MANETs: An ASM-based Model
2018-01-01 Bianchi, Alessandro; Pizzutilo, Sebastiano; Vessio, Gennaro
Performance-Driven Handwriting Task Selection for Parkinson's Disease Classification
2019-01-01 Angelillo, MARIA TERESA; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
Dynamic Handwriting Analysis for Neurodegenerative Disease Assessment: A Literary Review
2019-01-01 Vessio, Gennaro
Attentional Pattern Classification for Automatic Dementia Detection
2019-01-01 Angelillo, MARIA TERESA; Balducci, Fabrizio; Impedovo, Donato; Pirlo, Giuseppe; Vessio, Gennaro
An Evolutionary Approach to address Interoperability Issues in Multi-Device Signature Verification
2019-01-01 Impedovo, Donato; Pirlo, Giuseppe; Sarcinella, Lucia; Vessio, Gennaro
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