Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
A Machine Learning Pipeline for Discriminant Pathways Identification
2012-01-01 A., Barla; Jurman, Giuseppe; Visintainer, Roberto; M., Squillario; Filosi, Michele; S., Riccadonna; Furlanello, Cesare
A New Classifier Combination Scheme Using Clustering Ensemble
2012-01-01 Duval Poo, M.; Sosa Garcia, J.; Guerra Gandon, A.; Vega Pons, Sandro; Ruiz Shulcloper, J.
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints
2004-01-01 Armando, Alessandro; Castellini, C.; Giunchiglia, E.; Maratea, M.
A Study on the Influence of Shape in Classifying Small Spectral Data Sets
2011-01-01 Porro Munoz, Diana; Duin, R. P. W.; Talavera, I.; Orozco Alzate, M.
Abstraction refinement of Linear Programs with Arrays
2007-01-01 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
Abstraction-driven SAT-based Analysis of Security Protocols
2003-01-01 Armando, Alessandro; Compagna, L.
Activity recognition from on-body sensors: accuracy-power trade-off by dynamic sensor selection
2008-01-01 Zappi, P.; Farella, Elisabetta; Benini, L.; Lombriser, C.; Stiefmeier, T.; Roggen, D.; Tröster, G.
Argumentation-Based Discussion for User Forum: A Research Preview
2014-01-01 Morales Ramirez, Itzel; Perini, Anna
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms
2012-01-01 R., Bruttomesso; A., Carioni; S., Ghilardi; Ranise, Silvio
Automated and Efficient Analysis of Role-Based Access Control with Attributes
2012-01-01 Armando, Alessandro; Ranise, Silvio
Automatic Compilation of Protocol Insecurity Problems into Logic Programming.
2004-01-01 Armando, Alessandro; Compagna, L.; Lierler, Y.
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning
2002-01-01 Armando, Alessandro; Compagna, L.
Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers
2006-01-01 Armando, Alessandro; Mantovani, J.; Platania, L.
Building SMT-based Software Model Checkers: an Experience Report
2009-01-01 Armando, Alessandro
Combining Supervised and Unsupervised Methods to Support Early Diagnosis of Hepatocellular Carcinoma
2003-01-01 Ciocchetta, Federica; Dell'Anna, Rossana; Demichelis, Francesca; Amar Paul, Dhillon; Alberto, Quaglia; Sboner, Andrea
Continuous multi-way shape measure for dissimilarity representation
2012-01-01 Porro Munoz, Diana; Duin, R. P. W.; Orozco Alzate, M.; Talavera, I.
Design as intercultural dialogue: Coupling human- centered design with requirement engineering methods
2011-01-01 Leonardi, Chiara; Sabatucci, Luca; Susi, Angelo; Zancanaro, Massimo
Estimation of solar radiation on building roofs in mountainous areas
2011-01-01 Agugiaro, Giorgio; Remondino, Fabio; De Filippi, Riccardo; Furlanello, Cesare
Experimental Comparison of Orthogonal Moments as Feature Extraction Methods for Character Recognition
2010-01-01 Duval, M.; Vega Pons, Sandro; Garea, E.
Formal Modeling and Reasoning about the Android Security Framework
2013-01-01 Armando, Alessandro; Costa, G.; Merlo, A.
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