114 search results - page 16 / 23 » Verification by Simulation Comparison using Interface Synthe... |
IHI
2010
13 years 1 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...
ASIAMS
2009
IEEE
14 years 5 days ago
2009
IEEE
—Reduced ordered binary decision diagram (ROBDD) is a memory-efficient data structure which is used in many applications such as synthesis, digital system, verification, testing ...
ICRA
2006
IEEE
14 years 1 months ago
2006
IEEE
— A new Estimation of Distribution Algorithm (EDA) with spline kernel function (EDA_S) is proposed to optimize biped gait for a nine-link humanoid robot. Gait synthesis of the bi...
SIGGRAPH
1992
ACM
13 years 11 months ago
1992
ACM
A new device for measuringthe spatial reflectancedistributionsof surfaces is introduced, along with a new mathematical model of sniaorropic reflectance. The reflectance model pres...
GECCO
2006
Springer
13 years 10 months ago
2006
Springer
The impact of learning on evolution in dynamic environments undergoes recognized stages of the Baldwin Effect although its cause is not clear. To identify it experimentally, we de...