3333 search results - page 189 / 667 » Abstract Proof Search |
101
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In earlier work, the Abstract State Machine Thesis — that arbitrary algore behaviorally equivalent to abstract state machines — was established for several classes of...
128
click to vote
APLAS
2010
ACM
15 years 1 months ago
2010
ACM
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...
201
Voted
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
The basic idea to defend in this paper is that an adequate perception of the search space, sacrificing most of the precision, can paradoxically accelerate the discovery of the mo...
131
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Most non-coding RNA families exert their function by means of a conserved, common secondary structure. The Rfam data base contains more than five hundred structurally ...
124
Voted
GFKL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Existing methods to text plagiarism analysis mainly base on “chunking”, a process of grouping a text into meaningful units each of which gets encoded by an integer nu...