Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Trento: monete dell`area del teatro Sociale (scavi 1990/1992). Evidenze composizionali e strutturali dei materiali in relazione all`indagine numismatica e alla destinazione
1998-01-01 R., Belli; E., Caveda; Girardi, Silvia; F., Marchetti; Micheli, Victor
Model Selection of Combined Neural Nets for Speech Recognition, Chapter 9
1999-01-01 Furlanello, Cesare; Giuliani, Diego; Merler, Stefano; Trentin, Edmondo
Context Based Semantics for Information Integration
2000-01-01 Serafini, Luciano; Ghidini, Chiara
History Integration Into Semantic Classification
1999-01-01 Cettolo, Mauro; A., Corazza
A Context-Based Mechanization of Multi-Agent Reasoning
2000-01-01 Cimatti, Alessandro; Serafini, Luciano
A Local Models Semantics for Propositional Attitudes
2000-01-01 Giunchiglia, Fausto; Ghidini, Chiara
Ideal and Real Belief about Belief: Some Intuitions
1996-01-01 Giunchiglia, Fausto; E., Giunchiglia
Connectionist Speaker Normalization with Generalized Resource Allocating Networks
1995-01-01 Furlanello, Cesare; Giuliani, Diego; Trentin, Edmondo
Smart Vision Chips in CCD and CCD/CMOS Technologies
1995-01-01 Soncini, Giovanni; Bellutti, Pierluigi; Boscardin, Maurizio; Giacomozzi, Flavio; Gottardi, Massimo; Zen, Mario
Language Models Comparison in a Robot Telecontrol Application
1995-01-01 G., Antoniol; Brugnara, Fabio; Cettolo, Mauro; Federico, Marcello
Monte Carlo simulation of few-keV positrons penetrating in solids
2000-01-01 Dapor, Maurizio; Antonio, Miotello
Distributed Knowledge Management: a System Approach
2002-01-01 Bonifacio, Matteo Salvatore; Bouquet, Paolo
Designing Peer-to-Peer Applications: an Agent-Oriented Approach
2003-01-01 Bertolini, Davide; Busetta, Paolo; Molani, Alessandra; Nori, Michele; Perini, Anna
Computer-Aided Design for Membrane Supported mm-Wave Circuits
2003-01-01 D., Neculoiu; G., Bartolucci; M., Dragoman; R., Marcelli; Giacomozzi, Flavio; A., Muller
An XML schema for WordNet
2001-01-01 Magnini, Bernardo; Girardi, Christian
The Tropos Software Development Methodology: Processes, Models and Diagrams
2002-01-01 Giunchiglia, Fausto; Mylopoulos, John; Perini, Anna
Un progetto di telemicroscopia per l`attivazione di un servizio di diagnosi intraoperatoria remota: l`esperienza in Trentino
2001-01-01 Stefano, Forti; Demichelis, Francesca; Eccher, Claudio; Graiff, Antonella; P., Dalla Palma
Virtual Cases: A new tool in pathology
2001-01-01 Demichelis, Francesca; M., Barbareschi; Gatti, Laura; G., Landberg; P., Dalla Palma; Stefano, Forti
Web Application Quality: Supporting Maintenance and Testing
2003-01-01 Ricca, Filippo; Tonella, Paolo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Agent-oriented modeling by interleaving formal and informal specification | 1-gen-2003 | Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo | |
| Trento: monete dell`area del teatro Sociale (scavi 1990/1992). Evidenze composizionali e strutturali dei materiali in relazione all`indagine numismatica e alla destinazione | 1-gen-1998 | R., Belli; E., Caveda; Girardi, Silvia; F., Marchetti; Micheli, Victor | |
| Model Selection of Combined Neural Nets for Speech Recognition, Chapter 9 | 1-gen-1999 | Furlanello, Cesare; Giuliani, Diego; Merler, Stefano; Trentin, Edmondo | |
| Context Based Semantics for Information Integration | 1-gen-2000 | Serafini, Luciano; Ghidini, Chiara | |
| History Integration Into Semantic Classification | 1-gen-1999 | Cettolo, Mauro; A., Corazza | |
| A Context-Based Mechanization of Multi-Agent Reasoning | 1-gen-2000 | Cimatti, Alessandro; Serafini, Luciano | |
| A Local Models Semantics for Propositional Attitudes | 1-gen-2000 | Giunchiglia, Fausto; Ghidini, Chiara | |
| Ideal and Real Belief about Belief: Some Intuitions | 1-gen-1996 | Giunchiglia, Fausto; E., Giunchiglia | |
| Connectionist Speaker Normalization with Generalized Resource Allocating Networks | 1-gen-1995 | Furlanello, Cesare; Giuliani, Diego; Trentin, Edmondo | |
| Smart Vision Chips in CCD and CCD/CMOS Technologies | 1-gen-1995 | Soncini, Giovanni; Bellutti, Pierluigi; Boscardin, Maurizio; Giacomozzi, Flavio; Gottardi, Massimo; Zen, Mario | |
| Language Models Comparison in a Robot Telecontrol Application | 1-gen-1995 | G., Antoniol; Brugnara, Fabio; Cettolo, Mauro; Federico, Marcello | |
| Monte Carlo simulation of few-keV positrons penetrating in solids | 1-gen-2000 | Dapor, Maurizio; Antonio, Miotello | |
| Distributed Knowledge Management: a System Approach | 1-gen-2002 | Bonifacio, Matteo Salvatore; Bouquet, Paolo | |
| Designing Peer-to-Peer Applications: an Agent-Oriented Approach | 1-gen-2003 | Bertolini, Davide; Busetta, Paolo; Molani, Alessandra; Nori, Michele; Perini, Anna | |
| Computer-Aided Design for Membrane Supported mm-Wave Circuits | 1-gen-2003 | D., Neculoiu; G., Bartolucci; M., Dragoman; R., Marcelli; Giacomozzi, Flavio; A., Muller | |
| An XML schema for WordNet | 1-gen-2001 | Magnini, Bernardo; Girardi, Christian | |
| The Tropos Software Development Methodology: Processes, Models and Diagrams | 1-gen-2002 | Giunchiglia, Fausto; Mylopoulos, John; Perini, Anna | |
| Un progetto di telemicroscopia per l`attivazione di un servizio di diagnosi intraoperatoria remota: l`esperienza in Trentino | 1-gen-2001 | Stefano, Forti; Demichelis, Francesca; Eccher, Claudio; Graiff, Antonella; P., Dalla Palma | |
| Virtual Cases: A new tool in pathology | 1-gen-2001 | Demichelis, Francesca; M., Barbareschi; Gatti, Laura; G., Landberg; P., Dalla Palma; Stefano, Forti | |
| Web Application Quality: Supporting Maintenance and Testing | 1-gen-2003 | Ricca, Filippo; Tonella, Paolo |
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
- 2 Contributo in Volume1516
Data di pubblicazione
- In corso di stampa3
- 2020 - 2026307
- 2010 - 2019758
- 2000 - 2009381
- 1990 - 199956
- 1980 - 198911
Editore
- Springer116
- Il Mulino95
- il Mulino58
- Routledge29
- Editura Academiei Romane25
- FBK Press22
- Franco Angeli21
- Viella18
- EDB15
- IL MULINO15
Serie
- ANNALI DELL'ISTITUTO STORICO ITAL...21
- LA COMPAGNIA DI GESÙ12
- LECTURE NOTES IN COMPUTER SCIENCE9
- I SAGGI DI LEXIA6
- I LIBRI DI VIELLA4
- IZA DISCUSSION PAPER3
- ADAPT LABOUR STUDIES E-BOOK SERIES2
- ANNUAL REPORTS IN COMPUTATIONAL C...2
- BENESSERE TECNOLOGIA SOCIETÀ2
- NATURAL COMPUTING SERIES2
Keyword
- Computer-human interaction - Cult...8
- RF-MEMS8
- MEMS7
- Letteratura tedesca6
- RF MEMS6
- sfera pubblica6
- storia moderna6
- agent-oriented software engineering5
- comunicazione5
- Gesuiti5
Lingua
- eng623
- ita617
- ger60
- spa34
- fre23
- lat2
- lit2
- gem1
- hun1
- mul1
Accesso al fulltext
- no fulltext1279
- restricted133
- reserved65
- open38
- partially open1