1
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... for Polynomial Time Computing -- Strong Normalization and Equi-(Co)Inductive Types -- Semantics...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... of Intersections -- Performance of a Time-of-Flight Range Camera for Intelligent Vehicle Safety Applications...
View full text
Electronic eBook
4
Published 2007
Table of Contents: ... Approach for Intersection Safety – Results of the EC-Project INTERSAFE -- Exploiting Latest Developments...
View full text
Electronic eBook