171 search results - page 27 / 35 » Metamodel-based Test Generation for Model Transformations: a... |
ISMB
1994
13 years 10 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
IJCAI
2001
13 years 10 months ago
2001
Much excitement has been generated by the success of stochastic local search procedures at finding solutions to large, very hard satisfiability problems. Many of the problems on wh...
IEAAIE
2010
Springer
13 years 6 months ago
2010
Springer
Remote sensing based on imagery has traditionally been the main tool used to extract land uses and land cover (LULC) maps. However, more powerful tools are needed in order to fulfi...
WSCG
2001
13 years 10 months ago
2001
In this paper we focus on a visualization tool for car crash simulations. By means of some examples we show how various data pre-processing features can facilitate the engineer�...
AGP
1999
IEEE
14 years 1 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...