1721 search results - page 171 / 345 » On Active and Passive Testing |
146
click to vote
BIOCOMP
2008
15 years 8 months ago
2008
ct The enrichment and recall of known inhibitors in a virtual screen are correlated with the probability of finding effective inhibitors through this process. In practice, a large ...
146
click to vote
WSC
2004
15 years 8 months ago
2004
The Hats Simulator is designed to be a lightweight proxy for many intelligence analysis problems, and thus a test environment for analysts' tools. It is a virtual world in wh...
190
click to vote
EOR
2007
15 years 6 months ago
2007
: In this paper, the RCPSP (Resource Constrained Project Scheduling Problem) is solved using a linear programming model. Each activity may or may not be preemptive. Each variable i...
217
click to vote
ALT
2008
Springer
16 years 3 months ago
2008
Springer
Abstract For many centuries scientists have wondered how the human brain represents thoughts in terms of the underlying biology of neural activity. Philosophers, linguists, cogniti...
153
click to vote
ESOP
2007
Springer
16 years 21 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...