RicercaInizia una nuova ricerca
NOTA: è possibile cercare una corrispondenza esatta usando i doppi apici, ad es: "evoluzione della specie". Qualora si cerchi un identificativo, è consigliabile cercarlo in due modi differenti: tra apici con caratteri speciali es: "978-94-6366-274" oppure senza caratteri speciali solo come sequenza numerica: es 978946366274.
DIPLODOC road stereo sequence
2004-01-01 Zanin, Michele
FSAP
2008-01-01 Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita
GroundTruth-for-PonceDB
2006-01-01 Lecca, Michela
GroundTruth100-for-COIL
2006-01-01 Lecca, Michela
Insieme di funzioni macro per la gestione ed elaborazione dei dati XPS.
2004-01-01 Canteri, Roberto; Giordani, Dimitri
IRSTLM - Language Modeling Toolkit
2006-01-01 Federico, Marcello; Bertoldi, Nicola; Cettolo, Mauro
MathSAT
2007-01-01 Roberto, Bruttomesso; Cimatti, Alessandro; Roberto, Sebasatiani; Griggio, Alberto; Anders, Franzen
NuGAT
2009-01-01 Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto
NuSMV
2002-01-01 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
RAT
2005-01-01 Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
DIPLODOC road stereo sequence | 1-gen-2004 | Zanin, Michele | |
FSAP | 1-gen-2008 | Cimatti, Alessandro; Bozzano, Marco; Adolfo, Villafiorita | |
GroundTruth-for-PonceDB | 1-gen-2006 | Lecca, Michela | |
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 | |
IRSTLM - Language Modeling Toolkit | 1-gen-2006 | Federico, Marcello; Bertoldi, Nicola; Cettolo, Mauro | |
MathSAT | 1-gen-2007 | Roberto, Bruttomesso; Cimatti, Alessandro; Roberto, Sebasatiani; Griggio, Alberto; Anders, Franzen | |
NuGAT | 1-gen-2009 | Roveri, Marco; Cimatti, Alessandro; Schuppan, Viktor; Tchaltsev, Andrei; Cavada, Roberto | |
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 | |
RAT | 1-gen-2005 | Roveri, Marco; Cimatti, Alessandro; Tchaltsev, Andrei; Cavada, Roberto; Simone, Semprini; Roderick, Bloem; Ingo, Pill |
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
Opzioni
Scopri
Tipologia
- 5 Altro 11
- 5 Altro::5.11 Software 11
Data di pubblicazione
- 2009 1
- 2008 1
- 2007 1
- 2006 3
- 2005 2
- 2004 2
- 2002 1
Keyword
- ground truth 2
- labelled image 2
- object detection 2
- object recognition 2
- and Temporal Logic 1
- data analysis 1
- Games 1
- intelligent vehicle 1
- labelled stereo sequence 1
- NUSMV 1
Accesso al fulltext
- no fulltext 11