2586 search results - page 49 / 518 » Automatic Abstraction for Congruences |
101
click to vote
IPMI
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. A novel method to obtain correspondence between landmarks when comparing pairs of mammographic images from the same patient is presented. Our approach is based on automat...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
SLS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present a software tool, called EasySyn++, for the automatic synthesis of the source code for a set of stochastic local search (SLS) algorithms. EasySyn++ uses C++ as ...
IJCNLP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we describe a method of automatically generating summary slides from a text. The slides are generated by itemizing topic/non-topic parts that are extracted...
SARA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present The Cruncher, a simple representation framework and algorithm based on minimum description length for automatically forming an ontology of concepts from attrib...