2432 search results - page 277 / 487 » Degrees and choice numbers |
186
click to vote
CC
2005
Springer
16 years 4 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...
153
click to vote
CIE
2005
Springer
16 years 4 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...
207
click to vote
ICANN
2005
Springer
16 years 3 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...
156
click to vote
VMCAI
2005
Springer
16 years 2 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
132
click to vote
SIGMETRICS
2004
ACM
16 years 10 hour ago
2004
ACM
Virtual Private Networks (VPNs) feature notable characteristics in structure and traffic patterns that allow for efficient resource allocation. A strategy that exploits the underl...