Sciweavers

1614 search results - page 4 / 323
» Breadth-First Heuristic Search
Sort
View
TIME
2005
IEEE
13 years 11 months ago
Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity
A clausal resolution approach originally developed for the branching logic CTL has recently been extended to the logics ECTL and ECTL+ . In the application of the resolution rules...
Artie Basukoski, Alexander Bolotov
KDD
2002
ACM
140views Data Mining» more  KDD 2002»
14 years 6 months ago
Mining frequent item sets by opportunistic projection
In this paper, we present a novel algorithm OpportuneProject for mining complete set of frequent item sets by projecting databases to grow a frequent item set tree. Our algorithm ...
Junqiang Liu, Yunhe Pan, Ke Wang, Jiawei Han
DICTA
2003
13 years 7 months ago
Automatic Adaptive Segmentation of Moving Objects Based on Spatio-Temporal Information
This paper suggests a novel segmentation algorithm for separating moving objects from the background in video sequences without any prior information of the sequence nature. We for...
Ofer Miller, Amir Averbuch, Yosi Keller
HEURISTICS
2006
95views more  HEURISTICS 2006»
13 years 5 months ago
Image registration with iterated local search
Oscar Cordón, Sergio Damas
AAAI
2012
11 years 8 months ago
Heuristic Search Comes of Age
In looking back on the last five to ten years of work in heuristic search a few trends emerge. First, there has been a broadening of research topics studied. Second, there has be...
Nathan R. Sturtevant, Ariel Felner, Maxim Likhache...