598 search results - page 35 / 120 » Procedure Based Program Compression |
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
EMNLP
2011
12 years 7 months ago
2011
In this paper, we propose a novel approach to automatic generation of aspect-oriented summaries from multiple documents. We first develop an event-aspect LDA model to cluster sen...
NFM
2011
13 years 2 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
ICIP
2003
IEEE
14 years 9 months ago
2003
IEEE
We present an image segmentation algorithm that is based on spatially adaptive color and texture features. The proposed algorithm is based on a previously proposed algorithm but i...
BMEI
2008
IEEE
14 years 2 months ago
2008
IEEE
Multiple sequence alignment is the most fundamental task in bioinformatics and computational biology. In this paper, we present a new algorithm to conduct multiple sequences align...