53327 search results - page 10410 / 10666 » or 2007 |
140
click to vote
VMCAI
2007
Springer
16 years 7 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
143
click to vote
VMCAI
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
138
click to vote
WABI
2007
Springer
16 years 7 days ago
2007
Springer
Although snake venom proteins have been proven instrumental in the design of blood clotting and cytostatic breast cancer drugs, the main method in use to sequence these unknown pr...
175
click to vote
WABI
2007
Springer
16 years 7 days ago
2007
Springer
The comprehensive annotation of non-coding RNAs in newly sequenced genomes is still a largely unsolved problem because many functional RNAs exhibit not only poorly conserved sequen...
191
click to vote
WADS
2007
Springer
16 years 7 days ago
2007
Springer
A ball graph is an intersection graph of a set of balls with arbitrary radii. Given a real number t > 1, we say that a subgraph G′ of a graph G is a t-spanner of G, if for eve...