Search

Now showing items 1-10 of 460

A unified sequential equivalence checking approach to verify high-level functionality and protocol specification implementations in RTL designs

Type: Conference Paper

Author : Castro Marquez, C.I. , Strum, M. , Wang Jiang Chau

Publisher: IEEE

Year: 2014

Classification of diabetes disease using TCM electronic nose signals and ensemble learning

Type: Conference Paper

Author : Qiang Li; Li-Sang Liu; Fan Yang; Zhe-Zhou Zheng; Xue-Juan Lin; Qing-Hai Wu

Publisher: IEEE

Year: 2014

Corrections to “An Approach to Subjective Computing: A Robot That Learns From Interaction With Humans”

Type: Journal Paper

Author : Gruneberg, Patrick; Suzuki, Kenji

Publisher: IEEE

Year: 2014

Design and performance of wireless power transfer with high temperature superconducting resonance antenna

Type: Conference Paper

Author : Yoon Do Chung , Seong Woo Yim , Dae Wook Kim

Publisher: IEEE

Year: 2014

Multiple-step prediction using a two stage Gaussian Process model

Type: Conference Paper

Author : Hardy, J. , Havlak, F. , Campbell, M.

Publisher: IEEE

Year: 2014

Fast computation of look-ahead Rao-Blackwellised Particle Filter in SLAM

Type: Conference Paper

Author : Yuvapoositanon, P.

Publisher: IEEE

Year: 2014

Towards the Identification of Consumer Trajectories in Geo-Located Search Data

Type: Conference Paper

Author : Xingkai Li , Goebel, R. , Sjobergh, J.

Publisher: IEEE

Year: 2014

The research of P2P recognition technology

Type: Conference Paper

Author : Haojian Ma; Shunhua Tan; Zhenfeng He

Publisher: IEEE

Year: 2014

Safety Control of Industrial Robots Based on a Distributed Distance Sensor

Type: Journal Paper

Author : Buizza Avanzini, Giovanni; Ceriani, Nicola Maria; Zanchettin, Andrea Maria; Rocco, Paolo; Bascetta, Luca

Publisher: IEEE

Year: 2014

Singular value decomposition based low-footprint speaker adaptation and personalization for deep neural network

Type: Conference Paper

Publisher: IEEE

Year: 2014

1
2
3
4
. . .
46

Search

A unified sequential equivalence checking approach to verify high-level functionality and protocol specification implementations in RTL designs

Classification of diabetes disease using TCM electronic nose signals and ensemble learning

Corrections to “An Approach to Subjective Computing: A Robot That Learns From Interaction With Humans”

Design and performance of wireless power transfer with high temperature superconducting resonance antenna

Multiple-step prediction using a two stage Gaussian Process model

Fast computation of look-ahead Rao-Blackwellised Particle Filter in SLAM

Towards the Identification of Consumer Trajectories in Geo-Located Search Data

The research of P2P recognition technology

Safety Control of Industrial Robots Based on a Distributed Distance Sensor

Singular value decomposition based low-footprint speaker adaptation and personalization for deep neural network

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

A unified sequential equivalence checking approach to verify high-level functionality and protocol specification implementations in RTL designs

Classification of diabetes disease using TCM electronic nose signals and ensemble learning

Corrections to &#x201C;An Approach to Subjective Computing: A Robot That Learns From Interaction With Humans&#x201D;

Design and performance of wireless power transfer with high temperature superconducting resonance antenna

Multiple-step prediction using a two stage Gaussian Process model

Fast computation of look-ahead Rao-Blackwellised Particle Filter in SLAM

Towards the Identification of Consumer Trajectories in Geo-Located Search Data

The research of P2P recognition technology

Safety Control of Industrial Robots Based on a Distributed Distance Sensor

Singular value decomposition based low-footprint speaker adaptation and personalization for deep neural network

Corrections to “An Approach to Subjective Computing: A Robot That Learns From Interaction With Humans”