6897 search results - page 572 / 1380 » Parallelization of Modular Algorithms |
128
click to vote
TODAES
2008
15 years 5 months ago
2008
Abstract-- Automata-based methods for generating PSL hardware assertion checkers were primarily considered for use with temporal sequences, as opposed to full-scale properties. We ...
166
click to vote
IANDC
2010
15 years 4 months ago
2010
The semantics of name-passing calculi is often defined employing coalgebraic models over presheaf categories. This elegant theory lacks finiteness properties, hence it is not ap...
173
click to vote
ASIACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
Group signature schemes allow users to sign messages on behalf of a group while (1) maintaining anonymity (within that group) with respect to an observer, yet (2) ensuring traceab...
182
click to vote
EMNLP
2010
15 years 4 months ago
2010
We reveal a previously unnoticed connection between dependency parsing and statistical machine translation (SMT), by formulating the dependency parsing task as a problem of word a...
177
click to vote
ICIP
2010
IEEE
15 years 3 months ago
2010
IEEE
Most present day no-reference/blind image quality assessment (NR IQA) algorithms are distortion specific - i.e., they assume that the distortion affecting the image is known. Here...