IRIS Institutional Research Information System

5.12 Altro: [1282] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 881 a 900 di 1.282
Titolo Data di pubblicazione Autore(i) File
Symbolic Model Checking for Timed Petri Nets 1-gen-1997 Calzolari, F.; Morzenti, A.; Pezzé, M.
Progetto Linea 1.3.1.1. Speech Recognition: contributo di ITC-IRST 1-gen-1997 Omologo, Maurizio
Progetto Linea 1.3.1.1. Speech Recognition: Descrizione del sistema baseline per la realizzazione di un algortimo di riconoscimento dipendente dal parlatore e relativa attivitˆ sperimentale 1-gen-1997 Omologo, Maurizio
Gestione dinamica della risorsa per un'applicazione di videoconferenza su internet 1-gen-1997 Gabrielli, Guido
Certification of Translators via Off-line and On-line Proof Logging and Checking 1-gen-1997 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
New Upper Bounds for Satisfiability in Modal Logics: The Case-Study of Modal K 1-gen-1997 Sebastiani, Roberto; D., Mcallester
Dealing with Incomplete Data in Pattern Recognition 1-gen-1997 Aste, Marco; Boninsegna, Massimo
Foundation of Federated Databases, I: A Model Theoretic Perspective 1-gen-1997 Ghidini, Chiara; Serafini, Luciano
Requisiti per un sistema di ausilio alla definizione dei piani di emergenza per calamità naturali 1-gen-1997 Avesani, Paolo; Ricci, Francesco; R., De Col; F., Dalmaso; E., Santuliana
Memory and Connectivity 1-gen-1997 Crespi, B.
CANTO, un ambiente per l'analisi del codice e dell'architettura di sistemi di software 1-gen-1997 G., Antoniol; F., Calzolari; R., Fiutem; Tonella, Paolo
Model Checking Multiagent Systems 1-gen-1997 Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano
SAX: Specifiche del prototipo esteso 1-gen-1997 Pianta, Emanuele; G., Kamstrup
SAX: Manuale d'uso del prototipo esteso 1-gen-1997 Pianta, Emanuele; G., Kamstrup
Rappresentazione di design orientati agli oggetti ed analisi basata su metriche 1-gen-1997 Petroni, A.
From Requirements to Tools to Applications: A Case Study in Information Extraction in the Financial Domain 1-gen-1997 F., Ciravegna; Lavelli, Alberto; Mana, Nadia; Not, Elena; Pianesi, Fabio; Zancanaro, Massimo
Development Effort Measurement for Object-Oriented Software [DEMOS]: Deliverable D1.1.1 Survey of the state of the art in size/complexity, effort, duration and quality estimation and assessment (D1.1.1, D1.2.1, D2.2.1) 1-gen-1997 Caldiera, G.; Antoniol, G.; Fiutem, R.; Curtis, S.; La Commare, G.; Mambella, E.
Effetti dell'aritmetica in virgola fissa nella localizazione di una sorgente acustica mediante schiere di microfoni 1-gen-1997 Benetti, M.
A Logic Level Specification of the NQTHM Simplification Process 1-gen-1997 A., Coglio; Giunchiglia, Fausto; P., Pecchiari; C., Talcott
Validazione di un prototipo di sistema di supporto alle decisioni per la gestione dei fitofagi del melo. Requisiti per un suo adattamento a strumento di supportonell'attivita` di consulenza dei tecnici ESAT 1-gen-1997 P., Gobbi; Perini, Anna; M., Delaiti; D., Forti
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 881 a 900 di 1.282
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 Altro1282
Autore
  • Merler, Stefano74
  • Ajelli, Marco52
  • Perini, Anna51
  • Serafini, Luciano47
  • Ricci, Francesco44
  • Avesani, Paolo37
  • Bersani, Massimo36
  • Giubertoni, Damiano31
  • Anderle, Mariano28
  • Furlanello, Cesare27
Data di pubblicazione
  • 2020 - 202684
  • 2010 - 2019264
  • 2000 - 2009650
  • 1990 - 1999278
  • 1982 - 19896
Editore
  • Fondazione Civiltà Bresciana2
  • Assindustria Trento1
  • Università degli studi di Trento1
  • Università degli Studi di Trento....1
Keyword
  • SIMS13
  • silicon11
  • speech recognition11
  • Nuclear Experiment10
  • agent-oriented software engineering9
  • machine learning9
  • semantic Web9
  • infrastructure8
  • agents7
  • arsenic7
Lingua
  • eng874
  • ita309
  • spa3
  • ger2
  • rum1
Accesso al fulltext
  • no fulltext1269
  • open8
  • reserved3
  • restricted2