6020 search results - page 344 / 1204 » A New Approach to Model Counting |
157
click to vote
COLING
2000
15 years 8 months ago
2000
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...
155
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
In this paper, we investigate a new architecture-level thermal characterization problem from behavioral modeling perspective to address the emerging thermal related analysis and o...
167
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper we considerably improve on a state-of-theart alpha matting approach by incorporating a new prior which is based on the image formation process. In particular, we mod...
206
Voted
JCSS
2008
15 years 6 months ago
2008
Given a Boolean function f, we study two natural generalizations of the certificate complexity C (f): the randomized certificate complexity RC (f) and the quantum certificate comp...
195
click to vote
ISMAR
2009
IEEE
16 years 1 months ago
2009
IEEE
Augmented reality applications often rely on a detailed environment model to support features such as annotation and occlusion. Usually, such a model is constructed offline, whic...