9067 search results - page 1761 / 1814 » Adaptive Model Checking |
137
Voted
ICCAD
2004
IEEE
15 years 11 months ago
2004
IEEE
— Cycle-accurate functional descriptions (CAFDs) are being widely adopted in integrated circuit (IC) design flows. Power estimation can potentially benefit from the inherent in...
133
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 10 months ago
2010
Eurographics
Recent proliferation of camera phones, photo sharing and social network services has significantly changed how we process our photos. Instead of going through the traditional dow...
183
Voted
EUROGRAPHICS
2010
Eurographics
15 years 9 months ago
2010
Eurographics
We present a novel representation and rendering method for free-viewpoint video of human characters based on multiple input video streams. The basic idea is to approximate the art...
137
Voted
CC
2010
Springer
15 years 9 months ago
2010
Springer
On Chip Multiprocessors (CMP), it is common that multiple cores share certain levels of cache. The sharing increases the contention in cache and memory-to-chip bandwidth, further h...
134
Voted
KDD
2009
ACM
15 years 9 months ago
2009
ACM
Max-margin Markov networks (M3 N) have shown great promise in structured prediction and relational learning. Due to the KKT conditions, the M3 N enjoys dual sparsity. However, the...