1603 search results - page 154 / 321 » Multi-Dimensional Heuristic Searching |
113
click to vote
SIGSOFT
2004
ACM
16 years 5 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
148
click to vote
DOLAP
2003
ACM
15 years 9 months ago
2003
ACM
Data warehouse and Online Analytical Processing(OLAP) play a key role in business intelligent systems. With the increasing amount of spatial data stored in business database, how ...
200
click to vote
BMCBI
2011
14 years 8 months ago
2011
Background: The Smith-Waterman algorithm for local sequence alignment is more sensitive than heuristic methods for database searching, but also more time-consuming. The fastest ap...
147
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Major search engines currently use the history of a user's actions (e.g., queries, clicks) to personalize search results. In this paper, we present a new personalized service...
152
click to vote
KDD
2007
ACM
16 years 4 months ago
2007
ACM
Correlation mining has gained great success in many application domains for its ability to capture the underlying dependency between objects. However, the research of correlation ...