626 search results - page 101 / 126 » When Can Formal Methods Make a Real Difference |
269
Voted
IRFC
2011
Springer
14 years 6 months ago
2011
Springer
Search engine result pages (SERPs) are known as the most expensive real estate on the planet. Most queries yield millions of organic search results, yet searchers seldom look beyon...
127
click to vote
KDD
2007
ACM
16 years 3 months ago
2007
ACM
Clustering methods can be either data-driven or need-driven. Data-driven methods intend to discover the true structure of the underlying data while need-driven methods aims at org...
140
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Although Locality-Sensitive Hashing (LSH) is a promising approach to similarity search in high-dimensional spaces, it has not been considered practical partly because its search q...
140
Voted
IMC
2009
ACM
15 years 10 months ago
2009
ACM
Proximity measures quantify the closeness or similarity between nodes in a social network and form the basis of a range of applications in social sciences, business, information t...
142
Voted
SPAA
2005
ACM
15 years 9 months ago
2005
ACM
We describe a new class of utility-maximization scheduling problem with precedence constraints, the disconnected staged scheduling problem (DSSP). DSSP is a nonpreemptive multipro...