3360 search results - page 163 / 672 » Opportunistic Data Structures with Applications |
121
click to vote
VSTTE
2005
Springer
15 years 9 months 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...
152
click to vote
KDD
2012
ACM
13 years 6 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,...
215
click to vote
SIGMOD
2008
ACM
16 years 4 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...
235
click to vote
ICDE
2006
IEEE
16 years 5 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...
132
click to vote
ECCV
2004
Springer
16 years 5 months ago
2004
Springer
This paper proposes a robust estimation and validation framework for characterizing local structures in a positive multi-variate continuous function approximated by a Gaussian-base...