2527 search results - page 57 / 506 » A UML-Based Approach to System Testing |
133
Voted
AAAI
2011
14 years 3 months ago
2011
Recognizing possibly thousands of objects is a crucial capability for an autonomous agent to understand and interact with everyday environments. Practical object recognition comes...
133
Voted
TR
2010
14 years 10 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
128
Voted
TAP
2008
Springer
15 years 3 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
119
Voted
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
149
click to vote
GECCO
2005
Springer
15 years 9 months ago
2005
Springer
This paper will propose a novel approach in combining Evolutionary Algorithms with symbolic techniques in order to improve the convergence of the algorithm in the presence of larg...