15792 search results - page 2843 / 3159 » Computational Abstraction Steps |
151
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
URL for the abstract in place of http://abstract.citation (the square brackets will take care of linking). Remember that we decided to omit the journal details from the list in fav...
171
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
system during a single processor cycle. But we can abstract out properties of the sequences and focus on the properties of interest. The "specifications" given here are i...
172
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We introduce two min-max problems: the first problem is to minimize the supremum of finitely many rational functions over a compact basic semi-algebraic set whereas the s...
171
click to vote
ENTCS
2010
15 years 6 months ago
2010
Molecular biological models usually suffer from a large combinatorial explosion. Indeed, proteins form complexes and modify each others, which leads to the formation of a huge num...
178
click to vote
AAECC
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. After some excitement generated by recently suggested public key exchange protocols due to Anshel-Anshel-Goldfeld and Ko-Lee et al., it is a prevalent opinion now that th...