Search
Now showing items 1-4 of 4
A formal approach to verify software scalability requirements using set theory and Hoare triple
Publisher: IEEE
Year: 2014
Position and radial displacement sensorless control method for bearingless switched reluctance motors
Publisher: IEEE
Year: 2014
A comparison of distance measures for clustering in speaker diarization
Publisher: IEEE
Year: 2014
A new blind dereverberation algorithm using channel selection
Publisher: IEEE
Year: 2014