1915 search results - page 120 / 383 » A Novel Feature Selection Algorithm Based on Hypothesis-Marg... |
CAV
1998
Springer
14 years 2 months ago
1998
Springer
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Hierarchical menus are widely used as a standard user interface in modern applications that use GUIs. The performance of the menu depends on many factors: structure, layout, co...
KDD
2005
ACM
14 years 10 months ago
2005
ACM
We present a novel algorithm called Clicks, that finds clusters in categorical datasets based on a search for k-partite maximal cliques. Unlike previous methods, Clicks mines subs...
CVPR
2008
IEEE
15 years 5 days ago
2008
IEEE
In this paper, we address the problems of deformable object matching (alignment) and segmentation with cluttered background. We propose a novel hierarchical log-linear model (HLLM...
PAMI
2006
13 years 10 months ago
2006
Multiple-instance problems arise from the situations where training class labels are attached to sets of samples (named bags), instead of individual samples within each bag (called...