412 search results - page 58 / 83 » Integrating customized test requirements with traditional re... |
SACMAT
2010
ACM
14 years 1 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
ICDM
2009
IEEE
13 years 6 months ago
2009
IEEE
Document classification is a key task for many text mining applications. However, traditional text classification requires labeled data to construct reliable and accurate classifie...
WSCG
2001
13 years 10 months ago
2001
Research performed in the field of computer vision has steadily ignored recent advances in programming tools and techniques, relying on well-established traditional methods, such ...
ICIP
2008
IEEE
14 years 10 months ago
2008
IEEE
Automated line detection is a classical image processing topic with many applications such as road detection in remote images and vessel detection in medical images. Many traditio...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...