Sciweavers

1341 search results - page 201 / 269
» Automatic Algorithm Configuration Based on Local Search
Sort
View
IUI
2003
ACM
15 years 3 months ago
A zero-input interface for leveraging group experience in web browsing
The experience of a trusted group of colleagues can help users improve the quality and focus of their browsing and searching activities. How could a system provide such help, when...
Taly Sharon, Henry Lieberman, Ted Selker
FMCAD
2000
Springer
15 years 1 months ago
Automated Refinement Checking for Asynchronous Processes
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
Rajeev Alur, Radu Grosu, Bow-Yaw Wang
CVPR
2007
IEEE
15 years 12 months ago
Joint Optimization of Cascaded Classifiers for Computer Aided Detection
The existing methods for offline training of cascade classifiers take a greedy search to optimize individual classifiers in the cascade, leading inefficient overall performance. W...
Murat Dundar, Jinbo Bi
MICCAI
2006
Springer
15 years 11 months ago
Multi-resolution Vessel Segmentation Using Normalized Cuts in Retinal Images
Abstract. Retinal vessel segmentation is an essential step of the diagnoses of various eye diseases. In this paper, we propose an automatic, efficient and unsupervised method based...
Wenchao Cai, Albert C. S. Chung
ICSE
2009
IEEE-ACM
15 years 10 months ago
Locating need-to-translate constant strings for software internationalization
Modern software applications require internationalization to be distributed to different regions of the world. In various situations, many software applications are not internatio...
Xiaoyin Wang, Lu Zhang, Tao Xie, Hong Mei, Jiasu S...