1760 search results - page 194 / 352 » Program Analysis Using Weighted Pushdown Systems |
86
Voted
ICNC
2009
Springer
15 years 7 months ago
2009
Springer
The main purpose of this paper is to propose an incorporating a grammatical evolution (GE) into the genetic algorithm (GA), called GEGA, and apply it to estimate the compressive s...
106
Voted
ASAP
2004
IEEE
15 years 4 months ago
2004
IEEE
Biosequence similarity search is an important application in modern molecular biology. Search algorithms aim to identify sets of sequences whose extensional similarity suggests a c...
115
Voted
BMCBI
2008
15 years 1 months ago
2008
Background: Translation initiation site (TIS) identification is an important aspect of the gene annotation process, requisite for the accurate delineation of protein sequences fro...
137
Voted
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— We relax the monotonicity requirement of Lyapunov’s theorem to enlarge the class of functions that can provide certificates of stability. To this end, we propose two...
125
Voted
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
Analysis of massive graphs has emerged as an important area for massively parallel computation. In this paper, it is shown how the Fresh Breeze trees-of-chunks memory model may be...