4850 search results - page 318 / 970 » Approximate Data Structures with Applications |
167
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Many biological functions involve various protein-protein interactions (PPIs). Elucidating such interactions is crucial for understanding general principles of cellula...
167
click to vote
VSTTE
2005
Springer
16 years 5 days ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
196
click to vote
KDD
2012
ACM
13 years 9 months ago
2012
ACM
Three major factors govern the intricacies of community extraction in networks: (1) the application domain includes a wide variety of networks of fundamentally different natures,...
270
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
The increasing complexity of enterprise databases and the prevalent lack of documentation incur significant cost in both understanding and integrating the databases. Existing solu...
295
click to vote
ICDE
2006
IEEE
16 years 8 months ago
2006
IEEE
The high quality, structured data from Web structured sources is invaluable for many applications. Hidden Web databases are not directly crawlable by Web search engines and are on...