6941 search results - page 744 / 1389 » Testing as a Certification Approach |
219
Voted
ECBS
2010
IEEE
16 years 2 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
217
click to vote
ACSC
2009
IEEE
16 years 2 months ago
2009
IEEE
Due to their flexibility, proxies have been used for various purposes in standalone and distributed applications. More specifically, object-level proxies support fine grained capa...
205
Voted
EVOW
2009
Springer
16 years 2 months ago
2009
Springer
A developmental co-evolutionary genetic programming approach (PAM DGP) is compared to a standard linear genetic programming (LGP) implementation for trading of stocks across market...
180
Voted
PAKDD
2009
ACM
16 years 2 months ago
2009
ACM
Abstract. This paper shows how Wikipedia and the semantic knowledge it contains can be exploited for document clustering. We first create a concept-based document representation b...
192
click to vote
CEC
2009
IEEE
16 years 2 months ago
2009
IEEE
— Active perception refers to a theoretical approach to the study of perception grounded on the idea that perceiving is a way of acting, rather than a cognitive process whereby t...