5133 search results - page 259 / 1027 » Performance prediction with skeletons |
186
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
Mappings to structured output spaces (strings, trees, partitions, etc.) are typically learned using extensions of classification algorithms to simple graphical structures (eg., li...
172
click to vote
KDD
2001
ACM
16 years 7 months ago
2001
ACM
We consider prediction-model evaluation in the context of marketing-campaign planning. In order to evaluate and compare models with specific campaign objectives in mind, we need t...
167
click to vote
CHARME
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Unbounded model checking of invariant properties is typically solved using symbolic reachability. However, BDD based reachability methods suffer from lack of robustness ...
152
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
We investigate techniques for general black-box mitigation of timing channels. The source of events is wrapped by a timing mitigator that delays output events so that they contain...
187
click to vote
ICMLA
2010
15 years 4 months ago
2010
Finding the location of binding sites in DNA is a difficult problem. Although the location of some binding sites have been experimentally identified, other parts of the genome may ...