IRIS Institutional Research Information System

5.11 Software: [21] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 21
Titolo Data di pubblicazione Autore(i) File
GREAT-v2019 - A binary version for Windows x64 implementing the Spatial Color Algorithm GREAT for Color image Enhancement 1-gen-2019 Lecca, Michela
ALCIDE. Analysis of Language and Content In a Digital Environment 1-gen-2019 Cau, M.; Tonelli, S.; Largaiolli, M.; Sprugnoli, R.; Moretti, G.
Italy goes to Stanford: a collection of CoreNLP modules for Italian 1-gen-2016 Palmero Aprosio, Alessio; Moretti, Giovanni
Meriterm Heart Failure Multilingual Terminology 1-gen-2012 M., Warnier; J., Roumier; Cardillo, Elena; R., Vander Stichele; M., Jamoulle
Progetto Macchina Elettrodeposizione - Realizzazione Macchina 1-gen-2010 Conci, Paolo
GroundTruth-for-PonceDB 1-gen-2006 Lecca, Michela
DIPLODOC road stereo sequence 1-gen-2004 Zanin, Michele
GroundTruth100-for-COIL 1-gen-2006 Lecca, Michela
Insieme di funzioni macro per la gestione ed elaborazione dei dati XPS. 1-gen-2004 Canteri, Roberto; Giordani, Dimitri
Software Package PTRms 1-gen-2011 Canteri, Roberto
StripLaminator v.1.3.2 1-gen-2011 Serra, Enrico
TeenyLIME 1-gen-2011 Ceriotti, Matteo; Paolo, Costa; Stefan, Gună; Luca, Mottola; Murphy, Amy Lynn; Gian Pietro, Picco
MathSAT 1-gen-2007 Roberto, Bruttomesso; Cimatti, Alessandro; Roberto, Sebasatiani; Griggio, Alberto; Anders, Franzen
FSAP 1-gen-2008 Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita
COMPASS Tool 1-gen-2010 Bozzano, Marco; Cimatti, Alessandro; Joost Pieter, Katoen; Viet Yen, Nguyen; Thomas, Noll; Roveri, Marco; Ralf, Wimmer; Cavada, Roberto
NuGAT 1-gen-2009 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
KRATOS 1-gen-2010 Roveri, Marco; Cimatti, Alessandro; Narasamdya, Iman; Micheli, Andrea; Daniele, Campana; Griggio, Alberto; Tchaltsev, Andrei
RAT 1-gen-2005 Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill
NuSMV 1-gen-2002 Roveri, Marco; Cimatti, Alessandro; Cavada, Roberto; Tchaltsev, Andrei; Micheli, Andrea; Mariotti, Alessandro; Mover, Sergio; Marco, Pensallorto; Armando, Tacchella; Daniel, Sheridan; Gavin, Keighren; Tommi, Junttila; Timo, Latvala
IRSTLM - Language Modeling Toolkit 1-gen-2006 Federico, Marcello; Bertoldi, Nicola; Cettolo, Mauro
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 21
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

Scopri
Tipologia
  • 5 Altro21
Autore
  • Cimatti, Alessandro7
  • Roveri, Marco5
  • Cavada, Roberto4
  • Tchaltsev, Andrei4
  • Lecca, Michela3
  • Bozzano, Marco2
  • Canteri, Roberto2
  • Griggio, Alberto2
  • Micheli, Andrea2
  • Moretti, Giovanni2
Data di pubblicazione
  • 2010 - 201910
  • 2002 - 200911
Keyword
  • ground truth2
  • labelled image2
  • object detection2
  • object recognition2
  • and Temporal Logic1
  • data analysis1
  • data preprocessing and analysis1
  • Electrodeposition1
  • FPGA1
  • Games1
Lingua
  • eng1
Accesso al fulltext
  • no fulltext21