1601 search results - page 229 / 321 » Closed Sets for Labeled Data |
147
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...
170
click to vote
WCRE
2008
IEEE
16 years 22 days ago
2008
IEEE
During software maintenance tasks, developers often spend an important amount of effort investigating source code. This effort can be reduced if tools are available to help develo...
165
click to vote
DGO
2008
15 years 7 months ago
2008
We address the e-rulemaking problem of categorizing public comments according to the issues that they address. In contrast to previous text categorization research in e-rulemaking...
176
click to vote
ACTA
2010
15 years 6 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
200
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We introduce an online learning approach for multitarget tracking. Detection responses are gradually associated into tracklets in multiple levels to produce final tracks. Unlike ...