1205 search results - page 192 / 241 » Program Extraction from Large Proof Developments |
102
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Enterprise systems are located within the antinomy of appearing as generic product, while being means of multiple integrations for the user through configuration and customisation...
127
click to vote
BMCBI
2002
15 years 1 months ago
2002
Background: When analyzing protein sequences using sequence similarity searches, orthologous sequences (that diverged by speciation) are more reliable predictors of a new protein&...
118
click to vote
ACSAC
2010
IEEE
14 years 10 months ago
2010
IEEE
Twitter is a new web application playing dual roles of online social networking and micro-blogging. Users communicate with each other by publishing text-based posts. The popularit...
163
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: Genome-wide single-nucleotide polymorphism (SNP) arrays containing hundreds of thousands of SNPs from the human genome have proven useful for studying important human ...
129
click to vote
HIPC
2005
Springer
15 years 6 months ago
2005
Springer
Graph theoretic problems are representative of fundamental computations in traditional and emerging scientific disciplines like scientific computing, computational biology and b...