( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A One-Class Support Vector Machine Calibration Method for Time Series Change Point Detection.

, , , , и . ICPHM, стр. 1-5. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Valerio Sangiovanni

Alberto Moreira

Alberto Coda

Alberto Fierro

Alberto Moreira

 

Другие публикации лиц с тем же именем

A Case Study in Embedded Systems Design: An Engine Control Unit., , , , , и . Des. Autom. Embed. Syst., 6 (1): 71-88 (2000)A case study in computer-aided co-design of embedded controllers., , , , , , , и . Des. Autom. Embed. Syst., 1 (1-2): 51-67 (1996)Irredundant sequential machines via optimal logic synthesis., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 9 (1): 8-18 (1990)DELIGHT.SPICE: an optimization-based system for the design of integrated circuits., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 7 (4): 501-519 (1988)Verification of Nyquist data converters using behavioral simulation., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 14 (4): 493-502 (1995)Automated design management using traces., и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 12 (8): 1077-1095 (1993)Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems., , и . MEMOCODE, стр. 180-190. ACM / IEEE, (2023)Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks., , и . EMSOFT, стр. 183-186. ACM, (2005)Task generation and compile-time scheduling for mixed data-control embedded software., , , , , , , и . DAC, стр. 489-494. ACM, (2000)Formal Verification of Embedded Systems based on CFSM Networks., , , , и . DAC, стр. 568-571. ACM Press, (1996)