4413 search results - page 94 / 883 » New Directions for CACM |
CORR
2011
Springer
13 years 1 months ago
2011
Springer
Although many algorithms have been designed to construct Bayesian network structures using different approaches and principles, they all employ only two methods: those based on i...
IACR
2011
12 years 9 months ago
2011
A transitive signature scheme allows to sign a graph in such a way that, given the signatures of edges (a, b) and (b, c), it is possible to compute the signature for the edge (or ...
VISUALIZATION
1996
IEEE
14 years 1 months ago
1996
IEEE
A general volume rendering technique is described that efficiently produces images of excellent quality from data defined over irregular grids having a wide variety of formats. Re...
ICHIM
2001
13 years 11 months ago
2001
The paper proposes a new metadata model (VandA) directed to support innovative exploitation of Historical AV Archives content. After an analysis of the needs of traditional and po...
ICALP
2000
Springer
14 years 1 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...