677 search results - page 34 / 136 » Dependent Types from Counterexamples |
91
Voted
WSC
1997
14 years 11 months ago
1997
Excellent production design and planning depends on accurate simulation of a high quality layout. A good layout project will always begin with an analysis of the production volume...
BMCBI
2010
14 years 9 months ago
2010
Background: It has been long well known that genes do not act alone; rather groups of genes act in consort during a biological process. Consequently, the expression levels of gene...
82
Voted
BMCBI
2005
14 years 9 months ago
2005
Background: The majority of residues in protein structures are involved in the formation of helices and -strands. These distinctive secondary structure patterns can be used to rep...
78
Voted
ACL
2010
14 years 7 months ago
2010
We observe that (1) how a given named entity (NE) is translated (i.e., either semantically or phonetically) depends greatly on its associated entity type, and (2) entities within ...
COLING
2010
14 years 4 months ago
2010
Automated identification of diverse sentiment types can be beneficial for many NLP systems such as review summarization and public media analysis. In some of these systems there i...