2722 search results - page 97 / 545 » Automating Language Evolution |
109
click to vote
SETN
2004
Springer
15 years 7 months ago
2004
Springer
Collecting digital materials is time-consuming and can gain from automation. Since each source—and even each acquisition—may involve a separate negotiation of terms, a collecto...
128
click to vote
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
107
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
128
click to vote
FASE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...
115
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Detection of adaptive amino acid changes in proteins under recent short-term selection is of great interest for researchers studying microevolutionary processes in mic...