2308 search results - page 283 / 462 » Representing Symbolic Reasoning |
195
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: One-dimensional protein structures such as secondary structures or contact numbers are useful for three-dimensional structure prediction and helpful for intuitive unde...
156
click to vote
LOGCOM
2008
15 years 6 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...
166
click to vote
IR
2007
15 years 6 months ago
2007
Variants of Huffman codes where words are taken as the source symbols are currently the most attractive choices to compress natural language text databases. In particular, Tagged...
190
click to vote
TSE
2008
15 years 6 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
165
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: There are many fewer genes in the human genome than there are expressed transcripts. Alternative splicing is the reason. Alternatively spliced transcripts are often sp...