444 search results - page 49 / 89 » Selectional Restrictions in HPS |
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Personalized PageRank expresses backlink-based page quality around user-selected pages in a similar way to PageRank over the entire Web. Algorithms for computing personalized Page...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
We introduce a method to discover optimal local patterns, which concisely describe the main trends in a time series. Our approach examines the time series at multiple time scales ...
ICDE
2010
IEEE
14 years 7 months ago
2010
IEEE
Decision support queries that scan large indexes can suffer significant degradation in I/O performance due to index fragmentation. DBAs rely on rules of thumb that use index size a...
ICCAD
2005
IEEE
14 years 4 months ago
2005
IEEE
State-equivalence based reduction techniques, e.g. bisimulation minimization, can be used to reduce a state transition system to facilitate subsequent verification tasks. However...