677 search results - page 131 / 136 » Dependent Types from Counterexamples |
ACL
1989
13 years 9 months ago
1989
Comparative expressions (CEs) such as "bigger than" and "more oranges than" are highly ambiguous, and their meaning is context dependent. Thus, they pose probl...
BLISS
2009
IEEE
13 years 9 months ago
2009
IEEE
Self configuring VLSI technology architectures offer a new environment for creating novel security functions. Two such functions for physical security architectures are proposed t...
BMCBI
2008
13 years 8 months ago
2008
Background: Gene expression profiling has the potential to unravel molecular mechanisms behind gene regulation and identify gene targets for therapeutic interventions. As microarr...
BMCBI
2010
13 years 8 months ago
2010
Background: Meta-analysis methods exist for combining multiple microarray datasets. However, there are a wide range of issues associated with microarray meta-analysis and a limite...
BMCBI
2008
13 years 8 months ago
2008
Background: The problem of accurate prediction of protein secondary structure continues to be one of the challenging problems in Bioinformatics. It has been previously suggested t...