2200 search results - page 60 / 440 » Bloch's Constant is Computable |
BIOINFORMATICS
2011
14 years 1 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...
113
click to vote
FOSSACS
2011
Springer
14 years 1 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...
251
click to vote
ICCV
2011
IEEE
14 years 6 days 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...
106
click to vote
BIRTHDAY
2012
Springer
13 years 5 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...
ACL
2012
13 years 10 days 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...