3984 search results - page 290 / 797 » A Model-Driven Transformation Method |
150
click to vote
FMCAD
2008
Springer
15 years 6 months ago
2008
Springer
Abstract--This paper presents the verification of an asynchronous arbiter modeled at the circuit level with non-linear ordinary differential equations. We use Brockett's annul...
140
click to vote
SDM
2010
SIAM
15 years 6 months ago
2010
SIAM
In social networks, nodes correspond to entities and edges to links between them. In most of the cases, nodes are also associated with a set of features. Noise, missing values or ...
144
click to vote
ICAD
2004
15 years 6 months ago
2004
This paper argues for a special focus on the use of dynamic human interaction to explore datasets while they are being transformed into sound. We describe why this is a special ca...
148
Voted
SSWMC
2004
15 years 6 months ago
2004
This work reduces the computational requirements of the additive noise steganalysis presented by Harmsen and Pearlman. The additive noise model assumes that the stegoimage is crea...
140
Voted
WSCG
2004
15 years 6 months ago
2004
We propose a method to construct practical reflectances for spectral rendering. A set of 1400 real reflectances are measured and more spectra with higher saturated colors are gene...