3342 search results - page 570 / 669 » Automating Abstract Interpretation |
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Representing biomedical knowledge is an essential task in biomedical informatics intelligent systems. Case-based reasoning (CBR) holds the promise of representing context...
ICCBR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
ICIAR
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Image mosaicing is stirring up a lot of interests in the research community for both its scientific significance and potential spinoff in real world applications. Bein...
ICLP
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...
ICSOC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. An important architectural style for constructing enterprise applications is to use transactional workflows in SOA. In this setting, workflow activities invoke distribute...