589 search results - page 95 / 118 » Local Search Algorithms for SAT: An Empirical Evaluation |
ICDE
2010
IEEE
13 years 11 months ago
2010
IEEE
Searching and mining large graphs today is critical to a variety of application domains, ranging from personalized recommendation in social networks, to searches for functional ass...
CI
2006
13 years 7 months ago
2006
This paper investigates decision-theoretic planning in sophisticated autonomous agents operating in environments of real-world complexity. An example might be a planetary rover ex...
DOOD
1997
Springer
13 years 11 months ago
1997
Springer
With the increasing importance of the World Wide Web as an information source, there is a growing interest for integration of Web and database technology. Several Web query languag...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
This paper presents an algorithm that detects and tracks marine vessels in video taken by a non-stationary camera installed on an untethered buoy. 1 The video is characterized by ...
ICDM
2010
IEEE
13 years 5 months ago
2010
IEEE
Nowadays, the classification of graph data has become an important and active research topic in the last decade, which has a wide variety of real world applications, e.g. drug acti...