4171 search results - page 533 / 835 » Choice numbers of graphs |
164
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
: We study the problem of one dimensional selectivity estimation in relational databases. We introduce a new type of histogram based on information theory. We compare our histogram...
160
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
190
click to vote
CC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
157
click to vote
CIE
2005
Springer
16 years 8 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
215
click to vote
ICANN
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Tuning hyper-parameters is a necessary step to improve learning algorithm performances. For Support Vector Machine classifiers, adjusting kernel parameters increases dra...