19 search results - page 4 / 4 » Test Selection Criteria for Quantifier-Free First-Order Spec... |
BMCBI
2007
13 years 4 months ago
2007
Background: The Immune Epitope Database contains information on immune epitopes curated manually from the scientific literature. Like similar projects in other knowledge domains, ...
CSDA
2008
13 years 4 months ago
2008
A large body of evidence has emerged in recent studies confirming that macroeconomic factors play an important role in determining investor risk premia and the ultimate path of eq...
TSMC
2008
13 years 3 months ago
2008
This paper explores the issues faced in creating a sys-4 tem that can learn tactical human behavior merely by observing5 a human perform the behavior in a simulation. More specific...
CONEXT
2009
ACM
13 years 5 months ago
2009
ACM
We present NANO, a system that detects when ISPs apply policies that discriminate against specific classes of applications, users, or destinations. Existing systems for detecting ...