497 search results - page 19 / 100 » Overview of QAST 2008 |
CVIU
2007
13 years 7 months ago
2007
Markerless vision-based human motion analysis has the potential to provide an inexpensive, non-obtrusive solution for the estimation of body poses. The significant research effo...
SIMPRA
2008
13 years 7 months ago
2008
This article summarizes `Generalized Response Surface Methodology'(GRSM), extending Box and Wilson's `Response Surface Methodology'(RSM). GRSM allows multiple rando...
TPHOL
2008
IEEE
14 years 2 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we give an overview of the framework of graph transformation units which provides syntactic and semantic means for analyzing, modeling, and structuring all kinds of ...
COMPSAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Electronic control units and on-board networks for automotive applications cover a big variety of functions that in many cases are responsible of safetycritical behavior of the ve...