Sfoglia per Serie
Types for Deadlock-Free Higher-Order Programs
2015-01-01 Padovani, Luca; Novara, Luca
Types for Role-Based Access Control of Dynamic Web Data
2011-01-01 Mariangiola Dezani; Silvia Ghilezan; Svetlana Jakšic; Jovanka Pantovic
Typing Copyless Message Passing
2011-01-01 Bono, Viviana; Chiara, Messa; Padovani, Luca
Typing Liveness in Multiparty Communicating Systems
2014-01-01 Padovani, Luca; Vasco Thudichum Vasconcelos, ; Hugo Torres Vieira,
Typing Local Definitions and Conditional Expressions with Rank 2 Intersection (Extended Abstract)
2000-01-01 Ferruccio Damiani
UAV LiDAR Survey for Forest Structure Metrics Estimation in Planning Scenario. A Case Study on a Laricio Pine Forest in the Sila Mountains (Southern Italy)
2023-01-01 De Luca, Giandomenico; Praticò, Salvatore; Messina, Gaetano; Borgogno-Mondino, Enrico; Modica, Giuseppe
Ubiquito-S: a Preliminary Step toward Semantic Adaptive Web Services
2006-01-01 Francesca Carmagnola; Federica Cena; Cristina Gena; Ilaria Torre
Ubiquitous user assistance in a tourist information server
2002-01-01 L. Ardissono; A. Goy; G. Petrone; M. Segnan; P. Torasso
A unified and formal programming model for deltas and traits
2017-01-01 Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael
Unstructured Data in Predictive Process Monitoring: Lexicographic and Semantic Mapping to ICD-9-CM Codes for the Home Hospitalization Service
2022-01-01 Ronzani, M; Ferrod, R; Di Francescomarino, C; Sulis, E; Aringhieri, R; Boella, G; Brunetti, E; Di Caro, L; Dragoni, M; Ghidini, C; Marinello, R
Useless-Code Detection and Elimination for PCF with Algebraic Data Types
1999-01-01 Ferruccio Damiani
Using Mobile Phone Cameras to Interact with Ontological Data
2012-01-01 Pierluigi Grillo; Silvia Likavec; Ilaria Lombardi
Value-Driven Characters for Storytelling and Drama
2009-01-01 Rossana Damiano; Vincenzo Lombardo
Vectorized simulations of normal processes for first crossing-time problems.
1997-01-01 DI NARDO, Elvira; Pirozzi, E.; Ricciardi, L. M.; Rinaldi, S.
Verification and Control of Probabilistic Rectangular Hybrid Automata
2015-01-01 Sproston, Jeremy
Verifying the conformance of web services to global interaction protocols: a first step
2005-01-01 M. BALDONI; C. BAROGLIO; A. MARTELLI; V. PATTI; C. SCHIFANELLA
A Visualization Model Supporting an Efficient Context Resumption in Collaboration Environments
2012-01-01 L. Ardissono; G. Bosio; M. Segnan
Weighted-Sum Fragile Watermarking in the Karhunen-Loève Domain
2013-01-01 Marco Botta; Davide Cavagnino; Victor Pomponiu
When Sarcasm Hurts: Irony-Aware Models for Abusive Language Detection
2023-01-01 Frenda S.; Patti V.; Rosso P.
Where Have You Ended Up Today? Dynamic TV and the Inter-tainment Paradigm
2008-01-01 R. Simeoni; M. Geymonat; E. Guercio; M. Perrero; A. Rapp; F. Tesauri; R. Montanari
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