6894 search results - page 997 / 1379 » Generation Problems |
199
click to vote
ASE
2005
15 years 6 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...
214
click to vote
TIP
2008
15 years 6 months ago
2008
We consider the problem of recognizing 3-D objects from 2-D images using geometric models and assuming different viewing angles and positions. Our goal is to recognize and localize...
192
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Alternative splicing is a major mechanism of generating protein diversity in higher eukaryotes. Although at least half, and probably more, of mammalian genes are alter...
169
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Massive text mining of the biological literature holds great promise of relating disparate information and discovering new knowledge. However, disambiguation of gene s...
198
Voted
BMCBI
2005
15 years 6 months ago
2005
Background: Significant parts of biological knowledge are available only as unstructured text in articles of biomedical journals. By automatically identifying gene and gene produc...