2200 search results - page 60 / 440 » Bloch's Constant is Computable |
225
click to vote
BIOINFORMATICS
2011
14 years 10 months ago
2011
Motivation: Enormous, and constantly increasing quantity of biological information is represented in protein interaction network databases. Most of these data are freely accessibl...
217
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order program verification. We propose a new algorithm for tri...
518
click to vote
ICCV
2011
IEEE
14 years 9 months ago
2011
IEEE
We propose a fast pattern matching scheme termed Matching by Tone Mapping (MTM) which allows matching under non-linear tone mappings. We show that, when tone mapping is approximate...
212
click to vote
BIRTHDAY
2012
Springer
14 years 2 months ago
2012
Springer
Finding efficient countermeasures for cryptosystems against fault attacks is challenged by a constant discovery of flaws in designs. Even elements, such as public keys, that do no...
190
click to vote
ACL
2012
13 years 9 months ago
2012
The integration of multiword expressions in a parsing procedure has been shown to improve accuracy in an artificial context where such expressions have been perfectly pre-identi...