19003 search results - page 55 / 3801 » We Need Assurance! |
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
We present in this paper a new multi-class Bayes classifier that permits using separate feature vectors, chosen specifically for each class. This technique extends previous work o...
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. We introduce a generalisation of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vect...
ESOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The type-and-effects system of the Tofte-Talpin region calculus makes it possible to safely reclaim objects without a garbage collector. However, it requires that regions...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
In our study we analysed 3.889 records which were indexed in the Library and ion Science Abstracts (LISA) database in the research field of informetrics. We can show the core jour...
WG
2010
Springer
13 years 6 months ago
2010
Springer
We prove that for sufficiently large n, there exist unit disk graphs on n vertices such that for every representation with disks in the plane at least c √ n bits are needed to wr...