Pubblicazioni il cui dipartimento è "Dipartimenti > DAUIN - Dipartimento di Automatica e Informatica" e l'anno è "1990"

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Vai a: A | C | D | F | H | I | M | O | P | R | S | T | U
Numero di pubblicazioni : 33.

A

Articolo di rivista Valenzano A; Sisto R.; Ciminiera L (1990)
An Abstract Execution Model for Basic LOTOS. In: SOFTWARE ENGINEERING JOURNAL, vol. 5, pp. 311-318. - ISSN 0268-6961
Web of Science: 2 - Scopus: 3

Capitolo di libro P. Demichelis; L. Fissore; P. Laface; G. Micca; Piccolo E. (1990)
Application of Neural Networks to Speaker Independent Isolated Word Recognition. In: In Caianiello E. R., editor, "Second Italian Workshop on Parallel Architectures and Neural Networks". World Scientific Publishing Co, pp. 311-317.

Articolo di rivista G. Cabodi; S. Gai; M. Sonza Reorda (1990)
A Transputer-based gate-level fault simulator. In: MICROPROCESSING AND MICROPROGRAMMING, vol. 30, pp. 529-534. - ISSN 0165-6074
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Camurati P.; Medina D.; Prinetto P.; Sonza Reorda M. (1990)
A diagnostic test pattern generation algorithm. In: ITC 1990: IEEE International Test Conference 1990, Washington DC (USA), 10-14 Sept. 1990. pp. 52-58
Web of Science: 40 - Scopus: 45

Capitolo di libro Bertuglia C.S., Leonardi G., Occelli S., Rabino G., Tadei R. (1990)
A first example of an integrated operational model. In: Urban Dynamics. Designing an integrated model / Bertuglia C.S., Leonardi G., Wilson A.G. (eds.). Routledge, London and New York, pp. 367-394. ISBN 9780415004664

Articolo in atti di convegno Camurati P.; Medina D.; Prinetto P.; Sonza Reorda M. (1990)
A new algorithm for diagnosis-oriented automatic test pattern generation. In: EuroASIC 1990: IEEE EURO ASIC, Paris (France), 29 May-1 June 1990. pp. 332-336

Capitolo di libro L. Fissore,P. Laface,G. Micca,R. Pieraccini (1990)
A word hypothesizer for a large vocabulary continuous speech understanding system. In: Readings in Speech recognition / A.Waibel, K.F. Lee. Morgan Kaufmann, pp. 615-618. ISBN 1558601244

C

Articolo in atti di convegno Bona B., Carabelli S., Greco C. (1990)
CODEX - An integrated environment to study monovariable linear control systems. In: Int. Conf. on System Approach to Automation in Industrial Plants and Factories - BIAS 1990, Milano, nov. 1990.

D

Articolo in atti di convegno P. Camurati, A. Lioy, P. Prinetto, M. Sonza Reorda (1990)
Diagnosis Oriented Test Pattern Generation. In: IEEE European Design Automation Conference. pp. 470-474

F

Libro Piccolo E., Macii E. (1990)
Fondamenti di Informatica: Temi d'esame ed esercizi svolti. Libreria Editrice Universitaria Levrotto & Bella, Torino, 1.1-7.2.

Articolo in atti di convegno Morisio M.; R. Sisto (1990)
Formal description of manufacturing systems: an experiment with Estelle. In: Second European Conference on Software Quality Assuranc, May.

H

Articolo in atti di convegno L. Fissore,P. Laface,M. Codogno,G. Venuti (1990)
HMM modeling for voice-activated mobile-radio system. In: International Conference on Speech and Language Processing, ICSLP 1990, Kobe, Japan, 1990. pp. 1137-1140

Articolo di rivista Ciminiera L.; Montuschi P. (1990)
Higher Radix Square Rooting. In: IEEE TRANSACTIONS ON COMPUTERS, vol. c-39 n. 10, pp. 1220-1231. - ISSN 0018-9340
Web of Science: 16 - Scopus: 17

I

Articolo di rivista Belforte G.; Bona B.; Cerone V. (1990)
Identification, structure selection and validation of uncertain models withset membership error description. In: MATHEMATICS AND COMPUTERS IN SIMULATION, vol. 32, pp. 561-569. - ISSN 0378-4754
Web of Science: 15 - Scopus: 16

Articolo in atti di convegno M. Codogno; P. Demichelis; P. Laface; Piccolo E. (1990)
Integration between hidden Markov models and neural networks in speech recognition. In: 1st Workshop on Neural Networks and Speech Processing, Roma, November 8-9, 1990. pp. 114-127

M

Articolo in atti di convegno Camurati P.; Gilli M.; Prinetto P.; Sonza Reorda M. (1990)
Model Checking and Graph Theory in sequential ATPG. In: CAV 1990: Workshop on Computer-Aided Verification,, Rutgers NJ (USA), June 1990. pp. 505-517

Articolo in atti di convegno Valenzano A., Sisto R., Ciminiera L. (1990)
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines. In: Second IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, USA, December 1990. pp. 780-785

O

Articolo in atti di convegno C. Bernasconi, S. Rivoira, S. Termini (1990)
On the notion of Uncertain Belief Revision Systems. In: Information Processing and Management of Uncertainty in Knowledge-based Systems, Paris. pp. 458-460

P

Articolo di rivista Albertengo G; Sisto R. (1990)
Parallel CRC Generation. In: IEEE MICRO, vol. 10, pp. 63-71. - ISSN 0272-1732
Web of Science: 35 - Scopus: 60

Articolo di rivista Belforte G.; Bona B; Cerone V (1990)
Parameter estimation algorithms for a set-membership description of uncertainty. In: AUTOMATICA, vol. 26, pp. 887-898. - ISSN 0005-1098
Web of Science: 81 - Scopus: 91

R

Articolo in atti di convegno Montuschi P.; Valenzano A.; Ciminiera L. (1990)
Requirements for token holding times in timed-token protocols. In: IEEE Annual Phoenix Conference. pp. 598-604
Web of Science: 1 - Scopus: 1

S

Articolo in atti di convegno Sisto R. (1990)
SPRINT: A DSP-based Electrical Simulator. In: IASTED International Conference on Signal Processing and Digital Filtering, Lugano, Switzerland, June 18-21, 1990. pp. 48-51

Articolo di rivista Montuschi Paolo; Valenzano Adriano; Ciminiera Luigi (1990)
Selection of token holding times in timed-token protocols. In: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, vol. 37 n. 6, pp. 442-451. - ISSN 0278-0046
Web of Science: 5 - Scopus: 7

Articolo in atti di convegno C. Bernasconi, G. Coletti, G. Regoli, S. Rivoira, S. Termini (1990)
Sobre algunos problemas de los sistemas de razionamiento automatico en presencia de conoscimiento parcial y revisable. In: 2o. Congreso Iberoamericano de Inteligencia Artificial, Morelia, México. pp. 445-464

Articolo di rivista Valenzano A.; Montuschi P.; Ciminiera L. (1990)
Some Properties of Timed Token Medium Access Protocols. In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, vol. 16 n. 8, pp. 858-869. - ISSN 0098-5589
Web of Science: 9 - Scopus: 9

Articolo in atti di convegno M. Codogno; R. Gemello; F. Mana; P. Demichelis; P. Laface; Piccolo E. (1990)
Speaker Independent Isolated Word Recognition By Using Connectionist Architecture. In: III Workshop su "Architetture Parallele e Reti Neuronali", Vietri sul Mare (SA), 15-18 maggio 1990.
Web of Science: 0

Articolo in atti di convegno P. Demichelis; P. Laface; Piccolo E. (1990)
Speaker-Independent Recognition of Isolated Words in Noisy Environment. In: The 3rd Workshop of Prometheus, Torino, April 26-27, 1990. pp. 137-145

Articolo di rivista Montuschi P.; Mezzalama M. (1990)
Survey of Square Rooting Algorithms. In: IEE PROCEEDINGS. PART E. COMPUTERS AND DIGITAL TECHNIQUES, vol. 137, pp. 31-40. - ISSN 0143-7062
Web of Science: 20 - Scopus: 26

Articolo in atti di convegno Valenzano Adriano; Montuschi Paolo; Ciminiera Luigi (1990)
Systolic arrays for bicubical polynomial evaluation in computer graphics. In: IEEE Annual Phoenix Conference. pp. 901-902
Scopus: 0

T

Capitolo di libro L. Fissore,A. Kaltenmeier,P. Laface,G. Micca,R. Pieraccini (1990)
The Recognition Algorithms. In: Advanced Algorithms and Architectures for Speech Understanding / G. Pirani. Springer Verlag, Berlin Heidelberg, pp. 7-78.

Articolo di rivista Bruno G.; Ajmone Marsan M; Balbo G; Neri F (1990)
Topnet: a tool for the visual simulation of communication networks. In: IEEE JOURNAL ON SELECTED AREAS IN COMMUNICATIONS, vol. 8, pp. 1735-1747. - ISSN 0733-8716
Web of Science: 5 - Scopus: 9

Articolo di rivista Morisio M., Sisto R. (1990)
The use of Estelle to specify manufacturing systems. In: MICROPROCESSING AND MICROPROGRAMMING, vol. 28 n. 1-5, pp. 253-258. - ISSN 0165-6074
Web of Science: 0 - Scopus: 0

U

Articolo in atti di convegno Montuschi P.; Valenzano A; Ciminiera L.I (1990)
Upper bounds for the token rotation time in the 802.4 token passing bus. In: IECON Proceedings (Industrial Electronics Conference). pp. 751-756
Web of Science: 0 - Scopus: 0

Questa lista è stata generata il Fri Sep 22 23:34:41 2017 CEST.