Efficient Theory Combination via Boolean Search
2005-01-01 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto
Quiew Requirements
2005-01-01 Triolo, Enrico
Analisi dei Requisiti Architetturali del Sistema. Il Caso Trentingrana
2005-01-01 Bresciani, Paolo; Marin, Floriana; Penserini, Loris; Sannicolò, Fabrizio
Analisi del Sistema Forestale mediante tecniche di ingegneria dei requisiti orientate all'analisi degli obiettivi
2005-01-01 Bresciani, Paolo; Ferrari, Sara; Sannicolò, Fabrizio
Analisi delle Procedure di vendita dei lotti boschivi da parte dei proprietari pubblici nella Provincia di Trnto mediante tecniche di ingegneria dei requisiti
2005-01-01 Bresciani, Paolo; Ferrari, Sara; Sannicolò, Fabrizio
The Tropos visual modeling language. A MOF 1.4 compliant meta-model
2005-01-01 D., Bertolini; Perini, Anna; Susi, Angelo; H., Mouratidis
IWTrust: Improving User Trust in Answers from the Web
2005-01-01 Ilya, Zaihrayaeu; da Silva Paulo Pinheiro, ; Deborah McGuinness, L.
Linguistic summaries on small screens
2005-01-01 D'Avanzo, Ernesto; Kuflik, Tsvi
Analisi di uno scenario sulla filiera lattiero-casearia trentina. Il caso Trentingrana
2005-01-01 Marin, Floriana; Penserini, Loris; Bresciani, Paolo
Re-using Implicit Knowledge in Short-term Information Profiles for Context-sensitive Tasks
2005-01-01 Hayes, Conor Michael; Avesani, Paolo; E., Baldo; P., Cunningham
Opening the Home: a Web Service Approach to Domotics
2005-01-01 M., Aiello; M., Marchese; Busetta, Paolo; Calabrese, Gaetano
Matching Semantic Graphs
2005-01-01 Serafini, Luciano; S., Zanobini; S., Sceffer
Using Tropos to Model Agent Based Architectures for Adaptive Systems: a Case Study in Ambient Intelligence
2005-01-01 Penserini, Loris; Bresciani, Paolo; Kuflik, Tsvi; Busetta, Paolo
A multi-sensor fall detection system: A demonstrator for ITEA
2005-01-01 Busetta, Paolo; Tambosi, Linda
The act of creating humorous acronyms
2004-01-01 Stock, Oliviero; Strapparava, Carlo
Discussing groups in a mobile technology environment
2004-01-01 Stock, Oliviero; C., Rocchi; Zancanaro, Massimo; Kuflik, Tsvi
Distributed First Order Logic - revised semantics
2005-01-01 Ghidini, Chiara; Serafini, Luciano
I Like It - An Affective Interface for a Multimodal Museum Guide
2004-01-01 D., Goren Bar; I., Graziola; Kuflik, Tsvi; Pianesi, Fabio; C., Rocchi; Stock, Oliviero; Zancanaro, Massimo
Definizione dei requisiti per la realizzazione di una piattaforma tecnologica a supporto della gestione integrata e multidisciplinare del paziente con scompenso cardiaco: studio qualitativo attraverso focus group
2004-01-01 M., Rigo; Eccher, Claudio; Purin, Barbara; Serra, Alessandro; G., Tonazzolli; D., Nicolini; Forti, Stefano
Una piattaforma `web-based` per la gestione integrata del paziente affetto da scompenso cardiaco
2004-01-01 M., Rigo; Eccher, Claudio; Purin, Barbara; Serra, Alessandro; G., Tonazzolli; C., Favaretti; G., Guarrera; Forti, Stefano
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Efficient Theory Combination via Boolean Search | 1-gen-2005 | Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T., Antero Junttila; Ranise, Silvio; Rossum Peter, Van; Sebastiani, Roberto | |
| Quiew Requirements | 1-gen-2005 | Triolo, Enrico | |
| Analisi dei Requisiti Architetturali del Sistema. Il Caso Trentingrana | 1-gen-2005 | Bresciani, Paolo; Marin, Floriana; Penserini, Loris; Sannicolò, Fabrizio | |
| Analisi del Sistema Forestale mediante tecniche di ingegneria dei requisiti orientate all'analisi degli obiettivi | 1-gen-2005 | Bresciani, Paolo; Ferrari, Sara; Sannicolò, Fabrizio | |
| Analisi delle Procedure di vendita dei lotti boschivi da parte dei proprietari pubblici nella Provincia di Trnto mediante tecniche di ingegneria dei requisiti | 1-gen-2005 | Bresciani, Paolo; Ferrari, Sara; Sannicolò, Fabrizio | |
| The Tropos visual modeling language. A MOF 1.4 compliant meta-model | 1-gen-2005 | D., Bertolini; Perini, Anna; Susi, Angelo; H., Mouratidis | |
| IWTrust: Improving User Trust in Answers from the Web | 1-gen-2005 | Ilya, Zaihrayaeu; da Silva Paulo Pinheiro, ; Deborah McGuinness, L. | |
| Linguistic summaries on small screens | 1-gen-2005 | D'Avanzo, Ernesto; Kuflik, Tsvi | |
| Analisi di uno scenario sulla filiera lattiero-casearia trentina. Il caso Trentingrana | 1-gen-2005 | Marin, Floriana; Penserini, Loris; Bresciani, Paolo | |
| Re-using Implicit Knowledge in Short-term Information Profiles for Context-sensitive Tasks | 1-gen-2005 | Hayes, Conor Michael; Avesani, Paolo; E., Baldo; P., Cunningham | |
| Opening the Home: a Web Service Approach to Domotics | 1-gen-2005 | M., Aiello; M., Marchese; Busetta, Paolo; Calabrese, Gaetano | |
| Matching Semantic Graphs | 1-gen-2005 | Serafini, Luciano; S., Zanobini; S., Sceffer | |
| Using Tropos to Model Agent Based Architectures for Adaptive Systems: a Case Study in Ambient Intelligence | 1-gen-2005 | Penserini, Loris; Bresciani, Paolo; Kuflik, Tsvi; Busetta, Paolo | |
| A multi-sensor fall detection system: A demonstrator for ITEA | 1-gen-2005 | Busetta, Paolo; Tambosi, Linda | |
| The act of creating humorous acronyms | 1-gen-2004 | Stock, Oliviero; Strapparava, Carlo | |
| Discussing groups in a mobile technology environment | 1-gen-2004 | Stock, Oliviero; C., Rocchi; Zancanaro, Massimo; Kuflik, Tsvi | |
| Distributed First Order Logic - revised semantics | 1-gen-2005 | Ghidini, Chiara; Serafini, Luciano | |
| I Like It - An Affective Interface for a Multimodal Museum Guide | 1-gen-2004 | D., Goren Bar; I., Graziola; Kuflik, Tsvi; Pianesi, Fabio; C., Rocchi; Stock, Oliviero; Zancanaro, Massimo | |
| Definizione dei requisiti per la realizzazione di una piattaforma tecnologica a supporto della gestione integrata e multidisciplinare del paziente con scompenso cardiaco: studio qualitativo attraverso focus group | 1-gen-2004 | M., Rigo; Eccher, Claudio; Purin, Barbara; Serra, Alessandro; G., Tonazzolli; D., Nicolini; Forti, Stefano | |
| Una piattaforma `web-based` per la gestione integrata del paziente affetto da scompenso cardiaco | 1-gen-2004 | M., Rigo; Eccher, Claudio; Purin, Barbara; Serra, Alessandro; G., Tonazzolli; C., Favaretti; G., Guarrera; Forti, Stefano |
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
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