2564 search results - page 317 / 513 » Witness sets of projections |
158
click to vote
SIGIR
2008
ACM
15 years 5 months ago
2008
ACM
Relevance feedback, which traditionally uses the terms in the relevant documents to enrich the user's initial query, is an effective method for improving retrieval performanc...
160
click to vote
BMCBI
2005
15 years 5 months ago
2005
Background: Whole-genome sequencing projects are rapidly producing an enormous number of new sequences. Consequently almost every family of proteins now contains hundreds of membe...
153
click to vote
JWSR
2007
15 years 5 months ago
2007
: One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE pro...
128
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background Anatomy ontologies play an increasingly important role in developing integrated bioinformatics applications. One of the primary relationships between anatomical tissues...
176
click to vote
JSC
2002
15 years 5 months ago
2002
We describe a framework of algebraic structures in the proof assistant Coq. We have developed this framework as part of the FTA project in Nijmegen, in which a constructive proof ...