921 search results - page 92 / 185 » Expressing Computational Complexity in Constructive Type The... |
BMCBI
2006
13 years 8 months ago
2006
Background: In discriminant analysis of microarray data, usually a small number of samples are expressed by a large number of genes. It is not only difficult but also unnecessary ...
ACMACE
2007
ACM
13 years 12 months ago
2007
ACM
We introduce an experimental setting to observe and measure the perception of facial expression performed by embodied conversational agents (ECAs). The experimental set-up enables...
TACS
1991
Springer
13 years 11 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Depth of an object concerns a tradeoff between computation time and excess of program length over the shortest program length required to obtain the object. It gives an unconditio...
BMCBI
2006
13 years 8 months ago
2006
Integration of heterogeneous data types is a challenging problem, especially in biology, where the number of databases and data types increase rapidly. Amongst the problems that o...