1205 search results - page 170 / 241 » Program Extraction from Large Proof Developments |
131
click to vote
INFOCOM
2012
IEEE
13 years 3 months ago
2012
IEEE
—With the proliferation of mobile devices in both smartphone and tablet form factors, it is intuitive and natural for users to socially interact with their collaborators or compe...
125
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: Understanding how proteins fold is essential to our quest in discovering how life works at the molecular level. Current computation power enables researchers to produc...
128
click to vote
BIODATAMINING
2008
15 years 1 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
128
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: DNA methylation has been shown to play an important role in the silencing of tumor suppressor genes in various tumor types. In order to have a system-wide understandin...
112
click to vote
PODS
2005
ACM
16 years 1 months ago
2005
ACM
We consider query optimization techniques for data intensive P2P applications. We show how to adapt an old technique from deductive databases, namely Query-Sub-Query (QSQ), to a s...