11151 search results - page 2020 / 2231 » On the Complexity of Model Expansion |
167
click to vote
OOPSLA
2010
Springer
15 years 5 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...
184
click to vote
PAMI
2010
15 years 5 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 ...
167
click to vote
PKDD
2010
Springer
15 years 5 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...
168
click to vote
PUC
2010
15 years 5 months ago
2010
This paper provides a framework for recording, analyzing and modeling of 3 dimensional emotional movements for embodied game applications. To foster embodied interaction, we need i...
195
click to vote
PVLDB
2010
15 years 5 months ago
2010
Complex networks, such as biological, social, and communication networks, often entail uncertainty, and thus, can be modeled as probabilistic graphs. Similar to the problem of sim...