5525 search results - page 918 / 1105 » Verification of Model Transformations |
152
click to vote
WOSP
2000
ACM
15 years 8 months ago
2000
ACM
Active Network technology envisions deployment of virtual execution environments within network elements, such as switches and routers. As a result, nonhomogeneous processing can ...
126
click to vote
WCE
2007
15 years 5 months ago
2007
—Lightning protection for power supply of electronic equipment is an important problem of low-voltage lightning protection systems. In this paper, lightning characteristics of el...
161
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: The modeling of dynamic systems requires estimating kinetic parameters from experimentally measured time-courses. Conventional global optimization methods used for par...
133
click to vote
BMCBI
2007
15 years 4 months ago
2007
Background: Features of a DNA sequence can be found by compressing the sequence under a suitable model; good compression implies low information content. Good DNA compression mode...
143
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
A new approach to active contours on statistical manifolds is presented. The statistical manifolds are 2dimensional Riemannian manifolds that are statistically defined by maps that...