Sciweavers

2191 search results - page 205 / 439
» Evolutionary testing of classes
Sort
View
3DIM
2007
IEEE
15 years 8 months ago
Aerial Lidar Data Classification using AdaBoost
We use the AdaBoost algorithm to classify 3D aerial lidar scattered height data into four categories: road, grass, buildings, and trees. To do so we use five features: height, hei...
Suresh K. Lodha, Darren N. Fitzpatrick, David P. H...
FLAIRS
2010
15 years 6 months ago
Visual Object Detection using Frequent Pattern Mining
Object search in a visual scene is a highly challenging and computationally intensive task. Most of the current object detection techniques extract features from images for classi...
Yousuf Aboobaker Sait, Balaraman Ravindran
134
Voted
MSV
2004
15 years 5 months ago
An Effective QBF Solver for Planning Problems
A large number of applications can be represented by quantified Boolean formulas (QBF). Although evaluating QBF is NP-hard and thus very difficult, there has been significant progr...
Charles Otwell, Anja Remshagen, Klaus Truemper
CORR
2008
Springer
129views Education» more  CORR 2008»
15 years 4 months ago
A polytime proof of correctness of the Rabin-Miller algorithm from Fermat's little theorem
Although a deterministic polytime algorithm for primality testing is now known ([4]), the Rabin-Miller randomized test of primality continues being the most efficient and widely u...
Grzegorz Herman, Michael Soltys
MP
2007
97views more  MP 2007»
15 years 3 months ago
On the domino-parity inequalities for the STSP
Abstract One method which has been used very successfully for finding optimal and provably good solutions for large instances of the Symmetric Travelling Salesman Problem (STSP) i...
Sylvia C. Boyd, Sally Cockburn, Danielle Vella