57 search results - page 12 / 12 » Generating Driving Directions for Intelligent Vehicles Inter... |
TPHOL
2008
IEEE
14 years 5 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
AVSS
2006
IEEE
13 years 12 months ago
2006
IEEE
Extracting meaningful 3D human motion information from video sequences is of interest for applications like intelligent humancomputer interfaces, biometrics, video browsing and ind...