57 search results - page 12 / 12 » Generating Driving Directions for Intelligent Vehicles Inter... |
TPHOL
2008
IEEE
14 years 18 hour 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 11 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...