5263 search results - page 696 / 1053 » Open Constraint Optimization |
203
click to vote
ICSE
2011
IEEE-ACM
14 years 11 months ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
338
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper proposes a novel sparse representation model called centralized sparse representation (CSR) for image restoration tasks. In order for faithful image reconstruction, it ...
213
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
We propose a novel method for computing a geometrically consistent and spatially dense matching between two 3D shapes. Rather than mapping points to points we match infinitesimal...
230
click to vote
DSN
2011
IEEE
14 years 7 months ago
2011
IEEE
—As process technology shrinks devices, circuits experience accelerated wearout. Monitoring wearout will be critical for improving the efficiency of error detection and correctio...
250
click to vote
SIGMOD
2012
ACM
13 years 10 months ago
2012
ACM
There exists a need for high performance, read-only mainmemory database systems for OLAP-style application scenarios. Most of the existing works in this area are centered around t...