Sciweavers

4415 search results - page 822 / 883
» How to Pair with a Human
Sort
View
BMCBI
2006
122views more  BMCBI 2006»
13 years 8 months ago
Genome comparison using Gene Ontology (GO) with statistical testing
Background: Automated comparison of complete sets of genes encoded in two genomes can provide insight on the genetic basis of differences in biological traits between species. Gen...
Zhaotao Cai, Xizeng Mao, Songgang Li, Liping Wei
IJON
2007
88views more  IJON 2007»
13 years 8 months ago
Information maximization in face processing
This perspective paper explores principles of unsupervised learning and how they relate to face recognition. Dependency coding and information maximization appear to be central pr...
Marian Stewart Bartlett
MCS
2002
Springer
13 years 8 months ago
Multiclassifier Systems: Back to the Future
Abstract. While a variety of multiple classifier systems have been studied since at least the late 1950's, this area came alive in the 90's with significant theoretical a...
Joydeep Ghosh
INTERACTIONS
2010
109views more  INTERACTIONS 2010»
13 years 7 months ago
The climate change habitability index
rate, the CCHI is defined abstractly as a metric that can be stated in ordinary language and diagrams that allows people to answer the following three questions related to sustaina...
Yue Pan, Chit Meng Cheong, Eli Blevis
MICS
2010
81views more  MICS 2010»
13 years 7 months ago
Tactics for Hierarchical Proof
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
David Aspinall, Ewen Denney, Christoph Lüth