4276 search results - page 59 / 856 » Techniques for Empirical Validation |
120
click to vote
TIM
2010
14 years 6 months ago
2010
In the last few years, the growing complexity of the electrical power networks, mainly due to the increased use of electronic converters together with the requirements of a higher ...
DAC
1997
ACM
15 years 4 months ago
1997
ACM
The biggest obstacle in the formal verification of large designs is their very large state spaces, which cannot be handled even by techniques such as implicit state space travers...
MICCAI
2005
Springer
16 years 22 days ago
2005
Springer
In the last five years, Deep Brain Stimulation (DBS) has become the most popular and effective surgical technique for the treatment of Parkinson's disease (PD). The Subthalami...
RECOMB
2008
Springer
16 years 5 days ago
2008
Springer
Abstract. Whole genome doubling (WGD), a frequent occurrence during the evolution of the angiopsperms, complicates ancestral gene order reconstruction due to the multiplicity of so...
METRICS
1998
IEEE
15 years 4 months ago
1998
IEEE
In any manufacturing environment, the fault injection rate might be considered one of the most meaningful criterion to evaluate the goodness of the development process. In our fie...