1347 search results - page 194 / 270 » On the Structure of the Minimum Time Function |
115
click to vote
JOLLI
2007
15 years 4 months ago
2007
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
136
click to vote
ENTCS
2002
15 years 4 months ago
2002
Once you have proved your refinement correct, that is not the end. Real products, and their accompanying specifications, develop over time, with new improved versions having added...
166
Voted
INFORMATICALT
2010
15 years 3 months ago
2010
The genetic information in cells is stored in DNA sequences, represented by a string of four letters, each corresponding to a definite type of nucleotides. Genomic DNA sequences a...
184
Voted
BIOCOMP
2010
15 years 2 months ago
2010
- The activities and function of proteins can potentially be determined by protein sequence motifs. Therefore, obtaining the universally conserved and crossed protein family bounda...
139
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
This paper proposes a ranking method to exploit statistical correlations among pairs of attribute values in relational databases. For a given query, the correlations of the query ...