3742 search results - page 208 / 749 » On the Use of Formal Techniques for Validation |
178
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Mean shift is a popular method to segment images and videos. Pixels are represented by feature points, and the segmentation is driven by the point density in feature space. In thi...
218
click to vote
IAT
2006
IEEE
16 years 17 days ago
2006
IEEE
Data mining can be used to model crime detection problems. Crimes are a social nuisance and cost our society dearly in several ways. Any research that can help in solving crimes f...
184
click to vote
ASC
2008
15 years 6 months ago
2008
A dynamic classification using the support vector machine (SVM) technique is presented in this paper as a new `incremental' framework for multiple-classifying video stream da...
118
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
Recently it has been claimed that as early as 1420 some European artists constructed their paintings by optically projecting images onto their supports (canvas, oak panel, etc.) a...
250
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Accurate cardinality estimation is critically important to high-quality query optimization. It is well known that conventional cardinality estimation based on histograms or simila...