677 search results - page 136 / 136 » Dependent Types from Counterexamples |
BMCBI
2010
13 years 5 months ago
2010
Background: Use of alternative gene promoters that drive widespread cell-type, tissue-type or developmental gene regulation in mammalian genomes is a common phenomenon. Chromatin ...
CIVR
2006
Springer
13 years 9 months ago
2006
Springer
We introduce an interface for efficient video search that exploits the human ability to quickly scan visual content, after automatic retrieval has arrange the images in expected or...