Search
Now showing items 1-5 of 5
Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification
Publisher: IEEE
Year: 2014
Patron's Message from the Ex-Vice Chancellor
Publisher: IEEE
Year: 2014
A Measurement System to Realize 3-D Carotid Occlusion Measurement From 2-D Conventional Ultrasonography
Publisher: IEEE
Year: 2014
An efficient fusion algorithm for large scale face verification based on KISSME and cosine similarity
Publisher: IEEE
Year: 2014
Metric learning with trace-norm regularization for person re-identification
Publisher: IEEE
Year: 2014