1
Published 2008
Table of Contents: ...Session 1: Invited Talk -- Software Verification: Roles and Challenges for Automatic Decision...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... towards Speaker for Human-Robot Interaction -- Dialogue Model Specification and Interpretation...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Based on Object Interactions Graph -- A Method  of Deploying Virtual Machine on Multi-Core CPU...
View full text
Electronic eBook