7167 search results - page 1085 / 1434 » A Technique for Invariant Generation |
239
click to vote
EGPGV
2004
Springer
16 years 1 months ago
2004
Springer
We present a new parallel multiresolution volume rendering algorithm for visualizing large data sets. Using the wavelet transform, the raw data is first converted into a multires...
201
click to vote
EMSOFT
2004
Springer
16 years 1 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
220
click to vote
ESORICS
2004
Springer
16 years 1 months ago
2004
Springer
Key distribution is one of the most challenging security issues in wireless sensor networks where sensor nodes are randomly scattered over a hostile territory. In such a sensor dep...
192
click to vote
ESORICS
2004
Springer
16 years 1 months ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...
224
click to vote
EUROGP
2004
Springer
16 years 1 months ago
2004
Springer
Lymphoma cancer classification with DNA microarray data is one of important problems in bioinformatics. Many machine learning techniques have been applied to the problem and produc...