4814 search results - page 547 / 963 » Combining abstract interpreters |
192
click to vote
AIRS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. In this paper, we mainly explore the effectiveness of two kernelbased methods, the convolution tree kernel and the shortest path dependency kernel, for Chinese relation e...
182
click to vote
ACSD
2007
IEEE
16 years 1 months ago
2007
IEEE
Today there are many process mining techniques that allow for the automatic construction of process models based on event logs. Unlike synthesis techniques (e.g., based on regions...
167
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— For solving multimodal problems by means of evolutionary algorithms, one often resorts to multistarts or niching methods. The latter approach the question: ‘What is e...
157
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Hybrid methods are very popular for solving problems from combinatorial optimization. In contrast to this the theoretical understanding of the interplay of different opt...
176
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—An overview of recent advances in secure peerto-peer networking is presented, toward enforcing data integrity, confidentiality, availability, and access control policie...