5105 search results - page 967 / 1021 » Approximate Structural Consistency |
114
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
135
Voted
CTRSA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. A redactable signature scheme for a string of objects supports verification even if multiple substrings are removed from the original string. It is important that the re...
114
Voted
ICS
2009
Tsinghua U.
15 years 10 months ago
2009
Tsinghua U.
It has been observed that some applications manipulate large amounts of null data. Moreover these zero data often exhibit high spatial locality. On some applications more than 20%...
126
click to vote
IPSN
2009
Springer
15 years 10 months ago
2009
Springer
Data Driven Time Synchronization (DDTS) provides synchronization across sensors by using underlying characteristics of data collected by an embedded sensing system. We apply the c...
139
click to vote
KDD
2009
ACM
15 years 10 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...