4985 search results - page 337 / 997 » Observation of String-Rewriting Systems |
161
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
116
click to vote
LREC
2010
15 years 6 months ago
2010
The performance of question answering system is evaluated through successive evaluations campaigns. A set of questions are given to the participating systems which are to find the...
157
click to vote
USENIX
2004
15 years 6 months ago
2004
For operating system intensive applications, the ability of designers to understand system call performance behavior is essential to achieving high performance. Conventional perfo...
153
click to vote
BMCBI
2008
15 years 5 months ago
2008
Background: T-cell epitopes that promiscuously bind to multiple alleles of a human leukocyte antigen (HLA) supertype are prime targets for development of vaccines and immunotherap...
173
Voted
JAIR
2008
15 years 5 months ago
2008
Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to ...