1
Published 2012
Table of Contents: ... Permissions for Concurrency Verification -- A Concurrent Temporal Programming Model with Atomic Blocks -- A...
View full text
Electronic eBook
2
Published 2012
Table of Contents: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Vector Machines for Imbalanced Data Sets -- Class-Oriented Reduction of Decision Tree Complexity...
View full text
Electronic eBook