6020 search results - page 62 / 1204 » A New Approach to Model Counting |
160
Voted
JCP
2007
15 years 3 months ago
2007
— Every time a user conducts an electronic transaction over the Internet a wealth of personal information is revealed, either voluntarily or involuntarily. This causes serious br...
138
Voted
BMCBI
2010
15 years 3 months ago
2010
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
144
click to vote
AAAI
2012
13 years 6 months ago
2012
Recent work on planning in incomplete domains focuses on constructing plans that succeed despite incomplete knowledge of action preconditions and effects. As planning models becom...
151
Voted
JMIV
2007
15 years 3 months ago
2007
We propose a new variational model to denoise an image corrupted by Poisson noise. Like the ROF model described in [1] and [2], the new model uses total-variation regularization, w...
102
Voted
DAC
1999
ACM
16 years 4 months ago
1999
ACM
In this paper we present a new algorithm for computing reduced-order models of interconnect which utilizes the dominant controllable subspace of the system. The dominant controlla...