Sfoglia per Serie
Algorithmic learning theory: 26th international conference, ALT 2015 Banff, AB, Canada, october 4-6, 2015 proceedings
2015-01-01 Chaudhuri, K.; Gentile, Claudio; Zilles, S.
Algorithms and their explanations
2014-01-01 Benini, Marco; Gobbo, Federico
An Empirical Examination of Behavioral Factors in Creative Development of Game Prototypes
2013-01-01 Michail N., Giannakos; Letizia, Jaccheri; Morasca, Sandro
Analysis and synthesis of glottalization phenomena in German-accented English
2014-01-01 Kraljevski, I; Bissiri, M; Strecha, G.; Hoffmann, R.
Automatic Covert Channel Analysis of a Multilevel Secure Component
2004-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone; Troina, A.; Tronci, E.
Automatic Prediction of Future Business Conditions
2014-01-01 Noce, Lucia; Zamberletti, Alessandro; Gallo, Ignazio; Gabriele, Piccoli; Joaquin Alfredo, Rodriguez
An Axiomatic Semantics for the Synchronous Language Gentzen
2001-01-01 Tini, Simone
A Causal Semantics for Timed Concurrent Constraint Programming
2000-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
Complexity perception of texture images
2015-01-01 Ciocca, Gianluigi; Corchs, SILVIA ELENA; Gasparini, Francesca
A complexity-based image analysis to investigate interference between distortions and image contents in image quality assessment
2017-01-01 Ciocca, G.; Corchs, S.; Gasparini, F.
Compositional Metric Reasoning with Probabilistic Process Calculi
2015-01-01 Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
A Compositional Semantics of Reaction Systems with Restriction
2013-01-01 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Computing the counting function of context-free languages
1987-01-01 Bertoni, A.; Goldwurm, M.; Sabadini, Nicoletta
Concept Combination in Weighted DL
2023-01-01 Righetti, G.; Galliani, P.; Masolo, C.
Concurrency in Timed Automata
2001-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
Content-based Filtering in On-line Social Networks
2010-01-01 Marco, Vanetti; Binaghi, Elisabetta; Carminati, Barbara; Moreno, Carullo; Ferrari, Elena
Discovering non-constant Conditional Functional Dependencies with Built-in Predicates
2014-01-01 Trombetta, Alberto; Zanzi, Antonella
Equivalences for Statecharts
1996-01-01 MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Evolutionary inference of attribute-based access control policies
2015-01-01 Medvet, Eric; Bartoli, Alberto; Carminati, Barbara; Ferrari, Elena
An experience in the evaluation of fault prediction
2024-01-01 Lavazza, Luigi; Morasca, Sandro; Rotoloni, Gabriele
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Algorithmic learning theory: 26th international conference, ALT 2015 Banff, AB, Canada, october 4-6, 2015 proceedings | 1-gen-2015 | Chaudhuri, K.; Gentile, Claudio; Zilles, S. | |
Algorithms and their explanations | 1-gen-2014 | Benini, Marco; Gobbo, Federico | |
An Empirical Examination of Behavioral Factors in Creative Development of Game Prototypes | 1-gen-2013 | Michail N., Giannakos; Letizia, Jaccheri; Morasca, Sandro | |
Analysis and synthesis of glottalization phenomena in German-accented English | 1-gen-2014 | Kraljevski, I; Bissiri, M; Strecha, G.; Hoffmann, R. | |
Automatic Covert Channel Analysis of a Multilevel Secure Component | 1-gen-2004 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone; Troina, A.; Tronci, E. | |
Automatic Prediction of Future Business Conditions | 1-gen-2014 | Noce, Lucia; Zamberletti, Alessandro; Gallo, Ignazio; Gabriele, Piccoli; Joaquin Alfredo, Rodriguez | |
An Axiomatic Semantics for the Synchronous Language Gentzen | 1-gen-2001 | Tini, Simone | |
A Causal Semantics for Timed Concurrent Constraint Programming | 1-gen-2000 | MAGGIOLO SCHETTINI, A.; Tini, Simone | |
Complexity perception of texture images | 1-gen-2015 | Ciocca, Gianluigi; Corchs, SILVIA ELENA; Gasparini, Francesca | |
A complexity-based image analysis to investigate interference between distortions and image contents in image quality assessment | 1-gen-2017 | Ciocca, G.; Corchs, S.; Gasparini, F. | |
Compositional Metric Reasoning with Probabilistic Process Calculi | 1-gen-2015 | Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone | |
A Compositional Semantics of Reaction Systems with Restriction | 1-gen-2013 | Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
Computing the counting function of context-free languages | 1-gen-1987 | Bertoni, A.; Goldwurm, M.; Sabadini, Nicoletta | |
Concept Combination in Weighted DL | 1-gen-2023 | Righetti, G.; Galliani, P.; Masolo, C. | |
Concurrency in Timed Automata | 1-gen-2001 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone | |
Content-based Filtering in On-line Social Networks | 1-gen-2010 | Marco, Vanetti; Binaghi, Elisabetta; Carminati, Barbara; Moreno, Carullo; Ferrari, Elena | |
Discovering non-constant Conditional Functional Dependencies with Built-in Predicates | 1-gen-2014 | Trombetta, Alberto; Zanzi, Antonella | |
Equivalences for Statecharts | 1-gen-1996 | MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone | |
Evolutionary inference of attribute-based access control policies | 1-gen-2015 | Medvet, Eric; Bartoli, Alberto; Carminati, Barbara; Ferrari, Elena | |
An experience in the evaluation of fault prediction | 1-gen-2024 | Lavazza, Luigi; Morasca, Sandro; Rotoloni, Gabriele |
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