6020 search results - page 884 / 1204 » A New Approach to Model Counting |
159
click to vote
ACL
2012
13 years 9 months ago
2012
We propose a new approach to characterizing the timeline of a text: temporal dependency structures, where all the events of a narrative are linked via partial ordering relations l...
185
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
193
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Natural selection eliminates detrimental and favors advantageous phenotypes. This process leaves characteristic signatures in underlying genomic segments that can be r...
221
click to vote
EMNLP
2011
14 years 6 months ago
2011
We propose a general method to watermark and probabilistically identify the structured outputs of machine learning algorithms. Our method is robust to local editing operations and...
194
click to vote
ECCV
2002
Springer
16 years 8 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...