497 search results - page 41 / 100 » Overview of QAST 2008 |
FAC
2008
13 years 8 months ago
2008
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
LRE
2008
13 years 8 months ago
2008
This paper concerns metaphor resource creation. It provides an account of methods used, problems discovered, and insights gained at the Hamburg Metaphor Database project, intended ...
MJ
2008
13 years 8 months ago
2008
The aim of this paper is to give a brief overview of recent advances in the area of semiconductor nanomaterials, which represent extremely promising applications for materials wit...
MP
2008
13 years 7 months ago
2008
Robust Optimization is a rapidly developing methodology for handling optimization problems affected by non-stochastic "uncertain-butbounded" data perturbations. In this p...
IJUFKS
2007
13 years 7 months ago
2007
Abstract. Resampling methods are among the best approaches to determine the number of clusters in prototype-based clustering. The core idea is that with the right choice for the nu...