4087 search results - page 121 / 818 » Sets in Types, Types in Sets |
IPL
2002
13 years 8 months ago
2002
We consider two models commonly used in the literature to model adversarial injection of packets into a packet switching network. We establish the relation between these two types...
TYPES
2000
Springer
14 years 17 days ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
CLOR
2006
14 years 22 days ago
2006
We present a component-based system for object detection and identification. From a set of training images of a given object we extract a large number of components which are clust...
BIOID
2008
13 years 11 months ago
2008
A new 3D face database that includes a rich set of expressions, systematic variation of poses and different types of occlusions is presented in this paper. This database is unique ...
CSDA
2011
13 years 16 days ago
2011
Imputation of missing values is one of the major tasks for data pre-processing in many areas. Whenever imputation of data from official statistics comes into mind, several (additi...