3255 search results - page 314 / 651 » Combination of Abstractions in the ASTR |
191
click to vote
TACAS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
159
click to vote
VMCAI
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This paper addresses the problem of recovering variable-like entities when analyzing executables in the absence of debugging information. We show that variable-like entit...
176
click to vote
CGI
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract. In this paper, we propose a novel mesh deformation approach via manipulating differential properties non-uniformly. Guided by user-specified material properties, our met...
170
Voted
CIBCB
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract–Protein families can be used to reconstruct evolutionary histories of organisms. The accuracy of protein assignment to such families is critical for the success of such ...
164
click to vote
CIBCB
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract— We propose a new method for collecting information on regulatory elements found by any motif discovery program. We suggest that combining the results of n leave-oneout ...