4276 search results - page 117 / 856 » Techniques for Empirical Validation |
151
click to vote
DATE
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper presents an algorithmic technique based on hybridizing Symbolic Manipulation Techniques based on BDDs with more traditional Explicit solving algorithms. To validate the...
132
click to vote
ICRA
2005
IEEE
16 years 20 hour ago
2005
IEEE
Abstract— The latest technological progress in sensors, actuators and energy storage devices enables the developments of miniature VTOL1 systems. In this paper we present the res...
158
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
This paper describes a validation approach of a socio-technical design support system using data mining techniques. Bayesian Belief Networks (BBN) are used to assess human error an...
122
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
－This paper describes a new prediction method of tuning curves of a LC-tank voltage-controlled oscillator (VCO) with period calculation technique. With this period calculation te...
173
click to vote
VTS
2005
IEEE
16 years 3 hour ago
2005
IEEE
This paper describes a random jitter measurement technique using simple algorithms and comparator sampling. The approach facilitates using Automated Test Equipment (ATE) to valida...