4.1 Contributo in Atti di convegno

4.1 Contributo in Atti di convegno: [7942] Home page tipologia

Sfoglia

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.321 a 7.340 di 7.942

Sensori bio-chimici integrati in tecnologia ISFET/CMNOS

1996-01-01 Lui, Alberto; Margesin, Benno; Zen, Mario; G., Verzellesi; Soncini, Giovanni

ABSFOL: A Proof Checker with Abstraction

1996-01-01 Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo

Phase Transitions and Annealed Theories: Number Partitioning as a Case Study

1996-01-01 Gent, I.; Walsh, T.

Interface Features Affecting Deixis Production: A Simulation Study

1996-01-01 De Angeli, A.; Gerbino, W.; Petrelli, D.

A Computational Model for Generating Referring Expressions in a Multilingual Application Domain

1996-01-01 Not, Elena

A Cliché-Based Environment to Support Architectural Reverse Engineering

1996-01-01 R., Fiutem; Tonella, Paolo; G., Antoniol; E., Merlo

Variable Precision Reaching Definitions Analysis for Software Maintenance

1996-01-01 Tonella, Paolo; R., Fiutem; E., Merlo; G., Antoniol

Natural Language Interpretation for Public Administration Database Querying in the TAMIC Demonstrator

1996-01-01 C., Bagnasco; Bresciani, Paolo; Magnini, Bernardo; Strapparava, Carlo

On the improving of the gate oxide reliability

1996-01-01 Bellutti, Pierluigi; Boscardin, Maurizio; Zen, Mario; Zorzi, Nicola

Spectral Mapping: A Comparison of Connectionist Approaches

1996-01-01 Trentin, Edmondo; Giuliani, Diego; Furlanello, Cesare

Exact Learning and Data Compression with a Local Asymmetrically Weighted Metric

1996-01-01 Ricci, Francesco; Avesani, Paolo

A 256 x 256-Pixel Optical Sensor Architecture with 32 Algorithmic A/D Converters

1995-01-01 Simoni, Andrea; F., Maloberti; A., Sartori; G., Torelli

A Contex Free Headword Language Model

1995-01-01 Chelba, C.; Corazza, A.; Jelinek, F.

Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K

1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto

Confronto tra differenti modelli statistici per la verifica del parlatore

1995-01-01 Falavigna, Giuseppe Daniele

Acoustic Source Location in Noisy and Reverberant Environment Using CSP Analysis

1996-01-01 Omologo, Maurizio; Svaizer, Piergiorgio

A Fuzzy Classifier for Visual Crowding Estimates

1996-01-01 T., Coianiz; Boninsegna, Massimo; Caprile, Bruno Giovanni

Multilayer Neural Networks for Speaker Normalization

1995-01-01 M., Autiero; Giuliani, Diego; S., Rampone; R., Tagliaferri

An Evaluation Criterion for Connectionist Systems in Classification Tasks

1995-01-01 Trentin, Edmondo; Furlanello, Cesare; Falavigna, Giuseppe Daniele

Definite Temporal Arguments: A Comparison between Italian and English

1995-01-01 Giorgi, A.; Pianesi, A.

Titolo	Data di pubblicazione	Autore(i)
Sensori bio-chimici integrati in tecnologia ISFET/CMNOS	1-gen-1996	Lui, Alberto; Margesin, Benno; Zen, Mario; G., Verzellesi; Soncini, Giovanni
ABSFOL: A Proof Checker with Abstraction	1-gen-1996	Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo
Phase Transitions and Annealed Theories: Number Partitioning as a Case Study	1-gen-1996	Gent, I.; Walsh, T.
Interface Features Affecting Deixis Production: A Simulation Study	1-gen-1996	De Angeli, A.; Gerbino, W.; Petrelli, D.
A Computational Model for Generating Referring Expressions in a Multilingual Application Domain	1-gen-1996	Not, Elena
A Cliché-Based Environment to Support Architectural Reverse Engineering	1-gen-1996	R., Fiutem; Tonella, Paolo; G., Antoniol; E., Merlo
Variable Precision Reaching Definitions Analysis for Software Maintenance	1-gen-1996	Tonella, Paolo; R., Fiutem; E., Merlo; G., Antoniol
Natural Language Interpretation for Public Administration Database Querying in the TAMIC Demonstrator	1-gen-1996	C., Bagnasco; Bresciani, Paolo; Magnini, Bernardo; Strapparava, Carlo
On the improving of the gate oxide reliability	1-gen-1996	Bellutti, Pierluigi; Boscardin, Maurizio; Zen, Mario; Zorzi, Nicola
Spectral Mapping: A Comparison of Connectionist Approaches	1-gen-1996	Trentin, Edmondo; Giuliani, Diego; Furlanello, Cesare
Exact Learning and Data Compression with a Local Asymmetrically Weighted Metric	1-gen-1996	Ricci, Francesco; Avesani, Paolo
A 256 x 256-Pixel Optical Sensor Architecture with 32 Algorithmic A/D Converters	1-gen-1995	Simoni, Andrea; F., Maloberti; A., Sartori; G., Torelli
A Contex Free Headword Language Model	1-gen-1995	Chelba, C.; Corazza, A.; Jelinek, F.
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K	1-gen-1996	Giunchiglia, Fausto; Sebastiani, Roberto
Confronto tra differenti modelli statistici per la verifica del parlatore	1-gen-1995	Falavigna, Giuseppe Daniele
Acoustic Source Location in Noisy and Reverberant Environment Using CSP Analysis	1-gen-1996	Omologo, Maurizio; Svaizer, Piergiorgio
A Fuzzy Classifier for Visual Crowding Estimates	1-gen-1996	T., Coianiz; Boninsegna, Massimo; Caprile, Bruno Giovanni
Multilayer Neural Networks for Speaker Normalization	1-gen-1995	M., Autiero; Giuliani, Diego; S., Rampone; R., Tagliaferri
An Evaluation Criterion for Connectionist Systems in Classification Tasks	1-gen-1995	Trentin, Edmondo; Furlanello, Cesare; Falavigna, Giuseppe Daniele
Definite Temporal Arguments: A Comparison between Italian and English	1-gen-1995	Giorgi, A.; Pianesi, A.

Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 7.321 a 7.340 di 7.942

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

Accesso al fulltext

no fulltext6827
open482
restricted464
reserved165
partially open2
mixed1

IRIS Institutional Research Information System