502 search results - page 50 / 101 » An Audit Logic for Accountability |
SIGDOC
2005
ACM
14 years 1 months ago
2005
ACM
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
AISC
2008
Springer
13 years 9 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
FPL
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents a fast and scalable method of computing signal toggle rate in FPGA-based circuits. Our technique is a vectorless estimation technique, which can be used in a C...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
WILF
2007
Springer
14 years 1 months ago
2007
Springer
Two major problems related the unsupervised analysis of gene expression data are represented by the accuracy and reliability of the discovered clusters, and by the biological fact ...