882 search results - page 118 / 177 » Improving the Efficiency of Workflow Analysis |
ESORICS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the problem of authenticating the content and creation time of documents generated by an organization and retained in archival storage. Recent regulations (e.g.,...
103
click to vote
KDD
2004
ACM
15 years 10 months ago
2004
ACM
In gene expression microarray data analysis, selecting a small number of discriminative genes from thousands of genes is an important problem for accurate classification of diseas...
CHI
2005
ACM
15 years 10 months ago
2005
ACM
Mobile devices which can capture and view pictures are becoming increasingly common in our life. The limitation of these small-form-factor devices makes the user experience of ima...
DAC
2009
ACM
15 years 4 months ago
2009
ACM
In this paper we present a continuous surface model to describe the interconnect geometric variation, which improves the currently used model for better accuracy while not increas...
DAC
2009
ACM
15 years 4 months ago
2009
ACM
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...