Sfoglia per Serie
HalpernSGD: A Halpern-Inspired Optimizer for Accelerated Neural Network Convergence and Reduced Carbon Footprint
2024-01-01 Foglia, K. R.; Colao, V.; Ritacco, E.
Hand Gesture Recognition Exploiting Handcrafted Features and LSTM
2023-01-01 Avola, D.; Cinque, L.; Emam, E.; Fontana, F.; Foresti, G. L.; Marini, M. R.; Pannone, D.
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis
2014-01-01 Policriti, Alberto; Prezza, Nicola
Human in the loop: a model to integrate interaction issues in complex simulations
2013-01-01 Filippi, Stefano; Barattin, D.; Ferrise, F.; Bordegoni, M.; Cugini, U.
Human-based query difficulty prediction
2017-01-01 Chifu, Adrian-Gabriel; Déjean, Sébastien; Mizzaro, Stefano; Mothe, Josiane
Hybrid local search for constrained financial portfolio selection problems
2007-01-01 DI GASPERO, Luca; DI TOLLO, Giacomo; Roli, Andrea; Schaerf, Andrea
ICT Methodologies to Model and Simulate Parts of Human Body for Prosthesis Design
2007-01-01 Colombo, Giorgio; Filippi, Stefano; Rissone, Paolo; Rizzi, Caterina
Image classification with multivariate Gaussian descriptors
2013-01-01 Grana, C.; Serra, Giuseppe; Manfredi, M.; Cucchiara, R.
Imperative Object-based Calculi in (Co)Inductive Type Theories
2003-01-01 Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino
Implementing cantor’s paradise
2016-01-01 Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan
In-depth analysis of non-deterministic aspects of human-machine interaction and update of dedicated functional mock-ups.
2014-01-01 Filippi, Stefano; Barattin, Daniela
An in-depth investigation of interval temporal logic model checking with regular expressions
2017-01-01 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
2014-01-01 M., Alpuente; Ballis, Demis; F., Frechina; J., Sapiña
Instructing equational set-reasoning with otter
2001-01-01 Formisano, A.; Omodeo, E. G.; Temperini, M.
Integrating a framework for discovering alternative app stores in a mobile app monitoring platform
2018-01-01 Guarascio, M.; Ritacco, E.; Biondo, D.; Mammoliti, R.; Toma, A.
Interval Temporal Logic Decision Tree Learning
2019-01-01 Brunello, Andrea; Sciavicco, Guido; Eduard Stan, Ionel
Investigating synergies between interaction design methods
2015-01-01 Filippi, Stefano; Barattin, Daniela; Silva, Paula Alexandra
Is ImageNet Always the Best Option? An Overview on Transfer Learning Strategies for Document Layout Analysis
2024-01-01 De Nardin, A.; Zottin, S.; Colombi, E.; Piciarelli, C.; Foresti, G. L.
A Language-Based Solution to Enable Metaverse Retrieval
2024-01-01 Abdari, A.; Falcon, A.; Serra, G.
LaxF: Side Conditions and External Evidence as Monads
2014-01-01 Honsell, Furio; L., Liquori; Scagnetto, Ivan
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
HalpernSGD: A Halpern-Inspired Optimizer for Accelerated Neural Network Convergence and Reduced Carbon Footprint | 1-gen-2024 | Foglia, K. R.; Colao, V.; Ritacco, E. | |
Hand Gesture Recognition Exploiting Handcrafted Features and LSTM | 1-gen-2023 | Avola, D.; Cinque, L.; Emam, E.; Fontana, F.; Foresti, G. L.; Marini, M. R.; Pannone, D. | |
Hashing and Indexing: Succinct DataStructures and Smoothed Analysis | 1-gen-2014 | Policriti, Alberto; Prezza, Nicola | |
Human in the loop: a model to integrate interaction issues in complex simulations | 1-gen-2013 | Filippi, Stefano; Barattin, D.; Ferrise, F.; Bordegoni, M.; Cugini, U. | |
Human-based query difficulty prediction | 1-gen-2017 | Chifu, Adrian-Gabriel; Déjean, Sébastien; Mizzaro, Stefano; Mothe, Josiane | |
Hybrid local search for constrained financial portfolio selection problems | 1-gen-2007 | DI GASPERO, Luca; DI TOLLO, Giacomo; Roli, Andrea; Schaerf, Andrea | |
ICT Methodologies to Model and Simulate Parts of Human Body for Prosthesis Design | 1-gen-2007 | Colombo, Giorgio; Filippi, Stefano; Rissone, Paolo; Rizzi, Caterina | |
Image classification with multivariate Gaussian descriptors | 1-gen-2013 | Grana, C.; Serra, Giuseppe; Manfredi, M.; Cucchiara, R. | |
Imperative Object-based Calculi in (Co)Inductive Type Theories | 1-gen-2003 | Ciaffaglione, Alberto; Liquori, Luigi; Miculan, Marino | |
Implementing cantor’s paradise | 1-gen-2016 | Honsell, Furio; Lenisa, Marina; Liquori, Luigi; Scagnetto, Ivan | |
In-depth analysis of non-deterministic aspects of human-machine interaction and update of dedicated functional mock-ups. | 1-gen-2014 | Filippi, Stefano; Barattin, Daniela | |
An in-depth investigation of interval temporal logic model checking with regular expressions | 1-gen-2017 | Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano | |
Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) | 1-gen-2014 | M., Alpuente; Ballis, Demis; F., Frechina; J., Sapiña | |
Instructing equational set-reasoning with otter | 1-gen-2001 | Formisano, A.; Omodeo, E. G.; Temperini, M. | |
Integrating a framework for discovering alternative app stores in a mobile app monitoring platform | 1-gen-2018 | Guarascio, M.; Ritacco, E.; Biondo, D.; Mammoliti, R.; Toma, A. | |
Interval Temporal Logic Decision Tree Learning | 1-gen-2019 | Brunello, Andrea; Sciavicco, Guido; Eduard Stan, Ionel | |
Investigating synergies between interaction design methods | 1-gen-2015 | Filippi, Stefano; Barattin, Daniela; Silva, Paula Alexandra | |
Is ImageNet Always the Best Option? An Overview on Transfer Learning Strategies for Document Layout Analysis | 1-gen-2024 | De Nardin, A.; Zottin, S.; Colombi, E.; Piciarelli, C.; Foresti, G. L. | |
A Language-Based Solution to Enable Metaverse Retrieval | 1-gen-2024 | Abdari, A.; Falcon, A.; Serra, G. | |
LaxF: Side Conditions and External Evidence as Monads | 1-gen-2014 | Honsell, Furio; L., Liquori; Scagnetto, Ivan |
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