1205 search results - page 199 / 241 » Program Extraction from Large Proof Developments |
116
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Current imaging methods such as Magnetic Resonance Imaging (MRI), Confocal microscopy, Electron Microscopy (EM) or Selective Plane Illumination Microscopy (SPIM) yield...
107
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Nonnegative Matrix Factorization (NMF) is an unsupervised learning technique that has been applied successfully in several fields, including signal processing, face re...
139
click to vote
JDFP
2006
15 years 1 months ago
2006
Over the past decade, the advancement of a myriad of methods, techniques and technologies to conceal digital evidence and covertly communicate have increased at an alarming rate. I...
124
click to vote
WWW
2003
ACM
16 years 2 months ago
2003
ACM
Crawling the web is deceptively simple: the basic algorithm is (a) Fetch a page (b) Parse it to extract all linked URLs (c) For all the URLs not seen before, repeat (a)?(c). Howev...
115
click to vote
RECOMB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In order to guarantee that the optimal motif is found, traditional pattern-driven approaches perform an exhaustive search over all candidate motifs of length l. We develo...