1205 search results - page 171 / 241 » Program Extraction from Large Proof Developments |
109
click to vote
CBMS
2006
IEEE
15 years 7 months ago
2006
IEEE
Fast retrieval of images from large databases especially from large medical image databases is of great interest to researchers. We have developed shape-based image retrieval syst...
139
click to vote
ASPLOS
2008
ACM
15 years 3 months ago
2008
ACM
The recent shift in the industry towards chip multiprocessor (CMP) designs has brought the need for multi-threaded applications to mainstream computing. As observed in several lim...
107
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: The Immune Epitope Database and Analysis Resource (IEDB) is dedicated to capturing, housing and analyzing complex immune epitope related data http:// www.immuneepitope...
121
click to vote
ALGORITHMICA
2002
15 years 1 months ago
2002
We consider the total weighted completion time scheduling problem for parallel identical machines and precedence constraints, P jprecj PwiCi. This important and broad class of pro...
123
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Progressive advances in the measurement of complex multifactorial components of biological processes involving both spatial and temporal domains have made it difficult...