Search

Now showing items 1-10 of 67

Éclair: An elevator group controller model checking system based on S-ring and SPIN

Type: Conference Paper

Author : Nagafuji, Kazuya; Yamaguchi, Shingo

Publisher: IEEE

Year: 2014

Keynote addresses & special symposiums

Type: Conference Paper

Publisher: IEEE

Year: 2014

Heuristic based evaluation of Mobile Services web portal usability

Type: Conference Paper

Author : Borovina, Nihad; Boskovic, Dusanka; Dizdarevic, Jasenko; Bulja, Kenan; Salihbegovic, Almir

Publisher: IEEE

Year: 2014

Divide and conquer diagnosis for multiple defects

Type: Conference Paper

Author : Chao, Shih-Min; Chen, Po-Juei; Chen, Jing-Yu; Chen, Po-Hao; Lin, Ang-Feng; Li, James C.-M.; Hsueh, Pei-Ying; Kuo, Chun-Yi; Chen, Ying-Yen; Li, Jih-Nung

Publisher: IEEE

Year: 2014

Image registration techniques using parallel computing in multicore environment and its applications in medical imaging: An overview

Type: Conference Paper

Author : Saxena, Sanjay; Sharma, Shiru; Sharma, Neeraj

Publisher: IEEE

Year: 2014

Forensic investigation framework for P2P protocol

Type: Conference Paper

Author : Manesh, T.; Sha, M.M.; Vivekanandan, K.

Publisher: IEEE

Year: 2014

A playing and learning support system using Kinect for Romaji

Type: Conference Paper

Author : Akazawa, Noriko; Yawata, Kai; Takeda, Dan; Nakayama, Yasuichi; Kakuda, Hiroyasu; Suzuki, Mitsugu

Publisher: IEEE

Year: 2014

Mm-wave elements' base on the basis of dielectric structures: A semi-century way of formation

Type: Conference Paper

Author : Vzyatyshev, V.F.; Smolskiy, S.M.; Bankov, S.E.; Orekhov, Yu.I.

Publisher: IEEE

Year: 2014

Improving Automatic Image Annotation with Google Semantic Link

Type: Conference Paper

Author : Xu, Haijiao; Pan, Peng; Lu, Yansheng; Xu, Chunyan; Chen, Deng

Publisher: IEEE

Year: 2014

A Rapid Testing Framework for a Mobile Cloud

Type: Conference Paper

Author : Balasubramanian, D.; Dubey, A.; Otte, W.R.; Emfinger, W.; Kumar, P.S.; Karsai, G.

Publisher: IEEE

Year: 2014

1
2
3
4
. . .
7

Search

Éclair: An elevator group controller model checking system based on S-ring and SPIN

Keynote addresses & special symposiums

Heuristic based evaluation of Mobile Services web portal usability

Divide and conquer diagnosis for multiple defects

Image registration techniques using parallel computing in multicore environment and its applications in medical imaging: An overview

Forensic investigation framework for P2P protocol

A playing and learning support system using Kinect for Romaji

Mm-wave elements' base on the basis of dielectric structures: A semi-century way of formation

Improving Automatic Image Annotation with Google Semantic Link

A Rapid Testing Framework for a Mobile Cloud

Author

Publisher

Year

Keywords

Type

Language (ISO)

Content Type

Publication Title

Search

Filters

&#x00C9;clair: An elevator group controller model checking system based on S-ring and SPIN

Keynote addresses &amp; special symposiums

Heuristic based evaluation of Mobile Services web portal usability

Divide and conquer diagnosis for multiple defects

Image registration techniques using parallel computing in multicore environment and its applications in medical imaging: An overview

Forensic investigation framework for P2P protocol

A playing and learning support system using Kinect for Romaji

Mm-wave elements' base on the basis of dielectric structures: A semi-century way of formation

Improving Automatic Image Annotation with Google Semantic Link

A Rapid Testing Framework for a Mobile Cloud

Éclair: An elevator group controller model checking system based on S-ring and SPIN

Keynote addresses & special symposiums