331 search results - page 33 / 67 » HOLCF: Higher Order Logic of Computable Functions |
APBC
2004
15 years 1 months ago
2004
Transcription factors play essential role in the gene regulation in higher organisms, binding to multiple target sequences and regulating multiple genes in a complex manner. In or...
138
Voted
IEEEHPCS
2010
14 years 10 months ago
2010
The performance (in term of error rate) of biometric systems can be improved by combining them. Multiple fusion techniques can be applied from classical logical operations to more...
97
Voted
DAGSTUHL
2004
15 years 1 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
100
Voted
DAC
2008
ACM
16 years 1 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
100
click to vote
CEC
2008
IEEE
15 years 7 months ago
2008
IEEE
— This work is part of a project that aims to develop and operate integrated evolvable hardware systems using unconstrained evolution. Experiments are carried out on an evolvable...