Axiom pinpointing has been introduced in description logics (DLs) to help the user understand the reasons why consequences hold by computing minimal subsets of the knowledge base t...
Internet search companies sell advertisement slots based on users’ search queries via an auction. Advertisers have to solve a complex optimization problem of how to place bids o...
Abstract Questionnaires are nowadays widely used usability evaluation instruments, and several generic usability questionnaires are available. But these generic artifacts are not a...
Code coverage is a common aid in the testing process. It is generally used for marking the source code segments that were executed and, more importantly, those that were not execu...
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pel...
Last year, the original Glucocorticoid Receptor Resource expanded into a comprehensive project: the Nuclear Receptor Resource (NRR, http://nrr.georgetown.edu/nrr/ nrr.html ). The ...
Elisabeth Martinez, David D. Moore, Evan Keller, D...