1205 search results - page 25 / 241 » Program Extraction from Large Proof Developments |
ICDM
2002
IEEE
14 years 3 months ago
2002
IEEE
The Web has established itself as the dominant medium for doing electronic commerce. Consequently the number of service providers, both large and small, advertising their services...
VIS
2009
IEEE
15 years 4 days ago
2009
IEEE
We develop a new algorithm for isosurface extraction and view-dependent filtering from large time-varying fields, by using a novel Persistent Time-Octree (PTOT) indexing structure....
BICOB
2009
Springer
14 years 5 months ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...
BMCBI
2008
13 years 11 months ago
2008
Background: Recent genome wide transcription factor binding site or chromatin modification mapping analysis techniques, such as chromatin immunoprecipitation (ChIP) linked to DNA ...
ICSM
2006
IEEE
14 years 5 months ago
2006
IEEE
Facts extracted from source code have been used to support a variety of software engineering activities, ranging from architectural understanding, through detection of design patt...