4340 search results - page 717 / 868 » Formal Methods and Cryptography |
135
click to vote
SDM
2009
SIAM
16 years 2 months ago
2009
SIAM
One of the most well-studied problems in data mining is computing association rules from large transactional databases. Often, the rule collections extracted from existing datamin...
128
click to vote
SDM
2009
SIAM
16 years 2 months ago
2009
SIAM
Consider a 0–1 observation matrix M, where rows correspond to entities and columns correspond to signals; a value of 1 (or 0) in cell (i, j) of M indicates that signal j has bee...
139
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
— In today’s complex SoC designs, verification and debugging are becoming ever more crucial and increasingly timeconsuming tasks. The prevalence of embedded memories adds to t...
168
click to vote
VMCAI
2010
Springer
15 years 12 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
129
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Although usability methods are widely used for evaluating conventional graphical user interfaces and websites, there is a growing concern that current approaches are inadequate fo...