366 search results - page 61 / 74 » Syntactic Abstraction of B Models to Generate Tests |
GLVLSI
2005
IEEE
15 years 3 months ago
2005
IEEE
We perform a detailed study of various crosstalk scenarios in VDSM technologies by using a distributed model of the crosstalk site and make a number of key observations about the ...
SIAMIS
2010
14 years 8 months ago
2010
Surface registration, which transforms different sets of surface data into one common reference space, is an important process which allows us to compare or integrate the surface ...
78
Voted
ROMAN
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— This paper describes a novel algorithm for autonomous and incremental learning of motion pattern primitives by observation of human motion. Human motion patterns are ed...
115
click to vote
HASE
2008
IEEE
14 years 10 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
74
Voted
TEC
2008
14 years 10 months ago
2008
Abstract--We present an algorithm that coevolves fitness predictors, optimized for the solution population, which reduce fitness evaluation cost and frequency, while maintaining ev...