Search Results - "Models."

10941

Formal analysis of a space-craft controller using SPIN. by Havelund, K.

Published in IEEE Transactions on software engineering

Article

Formal analysis of a space-craft controller using SPIN.

10942

Implicit deductive fault simulation for complex delay fault models. by Deodhar, J.V

Published in IEEE Transactions on VLSI systems

Article

Implicit deductive fault simulation for complex delay fault models.

10943

Maximum likelihood multiple subspace projections for hidden Markov models. by Gales, M.J.F

Published in IEEE Transactions on speech and audio processing

Article

Maximum likelihood multiple subspace projections for hidden Markov models.

10944

Creating conversational interfaces for children. by Narayanan, S.

Published in IEEE Transactions on speech and audio processing

Article

Creating conversational interfaces for children.

10945

An electromigration and thermal model of power wires for a priori high-level reliability prediction. by Casu, M.R

Published in IEEE Transactions on VLSI systems

Article

An electromigration and thermal model of power wires for a priori high-level reliability prediction.

10946

Calibration of Rent's rule models for three-dimensional integrated circuits. by Das, S.

Published in IEEE Transactions on VLSI systems

Article

Calibration of Rent's rule models for three-dimensional integrated circuits.

10947

Global interconnect design in a three-dimensional system-on-a-chip. by Joyner, J.W

Published in IEEE Transactions on VLSI systems

Article

Global interconnect design in a three-dimensional system-on-a-chip.

10948

Modeling skin and proximity effects with reduced realizable RL circuits. by Shizhong Mei

Published in IEEE Transactions on VLSI systems

Article

Modeling skin and proximity effects with reduced realizable RL circuits.

10949

An SNR-incremental stochastic matching algorithm for noisy speech recognition. by Chao-Shih Huang

Published in IEEE Transactions on speech and audio processing

Article

An SNR-incremental stochastic matching algorithm for noisy speech recognition.

10950

A Bayesian approach to the verification problem applications to speaker verification. by Hui Jiang

Published in IEEE Transactions on speech and audio processing

Article

Formal analysis of a space-craft controller using SPIN. by Havelund, K.

Implicit deductive fault simulation for complex delay fault models. by Deodhar, J.V

Maximum likelihood multiple subspace projections for hidden Markov models. by Gales, M.J.F

Creating conversational interfaces for children. by Narayanan, S.

An electromigration and thermal model of power wires for a priori high-level reliability prediction. by Casu, M.R

Calibration of Rent's rule models for three-dimensional integrated circuits. by Das, S.

Global interconnect design in a three-dimensional system-on-a-chip. by Joyner, J.W

Modeling skin and proximity effects with reduced realizable RL circuits. by Shizhong Mei

An SNR-incremental stochastic matching algorithm for noisy speech recognition. by Chao-Shih Huang

A Bayesian approach to the verification problem applications to speaker verification. by Hui Jiang

Search Tools:

Refine Results

CAMPUS

DATABASE

UNIT LIBRARY

YEAR OF PUBLICATION

CLASSIFICATION

SUBJECT

AUTHOR

RESOURCE TYPE

LANGUAGE