8874 search results - page 1580 / 1775 » A New Implementation of Automath |
204
click to vote
PVLDB
2010
15 years 5 months ago
2010
Current pattern-detection proposals for streaming data recognize the need to move beyond a simple regular-expression model over strictly ordered input. We continue in this directi...
187
click to vote
TDSC
2010
15 years 5 months ago
2010
—We propose SigFree, an online signature-free out-of-the-box application-layer method for blocking code-injection buffer overflow attack messages targeting at various Internet se...
242
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: A common approach to understanding the genetic basis of complex traits is through identification of associated quantitative trait loci (QTL). Fine mapping QTLs require...
215
click to vote
ACL
2010
15 years 5 months ago
2010
This is a system demo for a set of tools for translating texts between multiple languages in real time with high quality. The translation works on restricted languages, and is bas...
224
click to vote
DMIN
2010
15 years 5 months ago
2010
Recently Vapnik et al. [11, 12, 13] introduced a new learning model, called Learning Using Privileged Information (LUPI). In this model, along with standard training data, the tea...