496 search results - page 19 / 100 » Overview of WebCLEF 2008 |
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 9 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...
CIE
2008
Springer
13 years 9 months ago
2008
Springer
The extraction mechanism of Coq allows one to transform Coq proofs and functions into functional programs. We illustrate the behavior of this tool by reviewing several variants of ...