1205 search results - page 220 / 241 » Program Extraction from Large Proof Developments |
113
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Gene expression data can be analyzed by summarizing groups of individual gene expression profiles based on GO annotation information. The mean expression profile per g...
106
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: Tissue MicroArray technology aims to perform immunohistochemical staining on hundreds of different tissue samples simultaneously. It allows faster analysis, considerab...
105
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...
101
click to vote
IJCV
2002
14 years 11 months ago
2002
We present a geometric model and a computational method for segmentation of images with missing boundaries. In many situations, the human visual system fills in missing gaps in ed...
103
click to vote
ACSAC
2010
IEEE
14 years 9 months ago
2010
IEEE
- The advanced metering infrastructure (AMI) is revolutionizing electrical grids. Intelligent AMI "smart meters" report real time usage data that enables efficient energy...