4355 search results - page 491 / 871 » From Interpretation to Compilation |
221
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
185
click to vote
EMMCVPR
2011
Springer
14 years 6 months ago
2011
Springer
Variational relaxations can be used to compute approximate minimizers of optimal partitioning and multiclass labeling problems on continuous domains. While the resulting relaxed co...
229
click to vote
EMNLP
2011
14 years 6 months ago
2011
Linear models have enjoyed great success in structured prediction in NLP. While a lot of progress has been made on efficient training with several loss functions, the problem of ...
175
click to vote
CORR
2012
Springer
14 years 2 months ago
2012
Springer
We present a novel primal-dual analysis on a class of NPhard sparsity minimization problems to provide new interpretations for their well known convex relaxations. We show that th...
201
click to vote
VMCAI
2012
Springer
14 years 2 months ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...