6704 search results - page 1192 / 1341 » Testing Scenario-Based Models |
139
click to vote
MICAI
2010
Springer
15 years 1 months ago
2010
Springer
The meaning of such verb-noun combinations as take care, undertake work, pay attention can be generalized as DO what is designated by the noun. Likewise, the meaning of make a deci...
106
click to vote
MP
2010
15 years 1 months ago
2010
Abstract We present a matrix-free line search algorithm for large-scale equality constrained optimization that allows for inexact step computations. For sufficiently convex problem...
123
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
142
Voted
PAMI
2010
15 years 1 months ago
2010
—This paper proposes a framework for single-image super-resolution. The underlying idea is to learn a map from input low-resolution images to target high-resolution images based ...
131
click to vote
PKDD
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper, we present an extensive study of the cuttingplane algorithm (CPA) applied to structural kernels for advanced text classification on large datasets. In par...