303 search results - page 42 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes and analyzes the aggregation pheromone system (APS) algorithm, which extends ant colony optimization (ACO) to continuous domains. APS uses the collective behav...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
VC
2008
13 years 7 months ago
2008
Modeling is a severe bottleneck for computer graphics applications. Manual modeling is time consuming and fails to capture the complexity of real world scenes. Automated modeling b...
ICBA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. The performance of face recognition systems that use twodimensional images is dependent on consistent conditions such as lighting, pose, and facial appearance. We are dev...