1806 search results - page 273 / 362 » Some Functions Computable with a Fused-Mac |
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
The work addresses the problem of identifying the epistatic linkage of a function from high cardinality alphabets to the real numbers. It is a generalization of Heckendorn and Wri...
RTAS
2006
IEEE
14 years 4 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
CSB
2005
IEEE
14 years 3 months ago
2005
IEEE
DNA microarray experiments generate a substantial amount of information about global gene expression. Gene expression profiles can be represented as points in multi-dimensional sp...
ICDM
2005
IEEE
14 years 3 months ago
2005
IEEE
There has been increasing number of independently proposed randomization methods in different stages of decision tree construction to build multiple trees. Randomized decision tre...
CIE
2005
Springer
14 years 3 months 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...