6941 search results - page 257 / 1389 » Testing as a Certification Approach |
WLP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
WWW
2010
ACM
14 years 1 months ago
2010
ACM
This paper studies the compressibility of RDF data sets. We show that big RDF data sets are highly compressible due to the structure of RDF graphs (power law), organization of URI...
PRICAI
1998
Springer
14 years 14 days ago
1998
Springer
Weaddress the general problemof finding algorithms for efficient, qualitative, point-basedtemporalreasoning over a set of operations. Weconsider general reasonerstailored for temp...
ICRA
1994
IEEE
14 years 11 days ago
1994
IEEE
In this paper, we are concerned with the problem of location of inspection centers in a multistage manufacturing system. A Genetic algorithm based approach is developed to determi...
PPSN
1994
Springer
14 years 10 days ago
1994
Springer
A general model for the coevolution of cooperating species is presented. This model is instantiated and tested in the domain of function optimization, and compared with a tradition...