2024 search results - page 36 / 405 » The Meaning of Ordered SOS |
141
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Previous studies on insect DNA barcoding provide contradictory results and suggest not consistent performances across orders. This work aims at providing a general eva...
174
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
We define a sound and complete logic, called FO , which extends classical first-order predicate logic with intuitionistic implication. As expected, to allow the interpretation of i...
162
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The residue-wise contact order (RWCO) describes the sequence separations between the residues of interest and its contacting residues in a protein sequence. It is a ne...
177
click to vote
IMCSIT
2010
15 years 4 months ago
2010
We present a dialogue system for exercising the German subordinate clause word order. The pedagogical methodology we adopt is based on focused tasks: the targeted linguistic struct...
204
click to vote
LICS
2009
IEEE
16 years 27 days ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...