4212 search results - page 734 / 843 » On Compressible Pairings and Their Computation |
140
click to vote
EJWCN
2010
15 years 1 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
199
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this paper, we introduce a new approach to dialect recognition which relies on the hypothesis that certain phones are realized differently across dialects. Given a speaker'...
183
click to vote
SCIENTOMETRICS
2010
15 years 1 months ago
2010
This paper quantitatively explores the social and socio-semantic patterns of constitution of academic collaboration teams. To this end, we broadly underline two critical features ...
153
click to vote
TIP
2010
15 years 1 months ago
2010
We present an efficient method that computes dense stereo correspondences by stochastically sampling match quality values. Nonexhaustive sampling facilitates the use of quality met...
188
click to vote
TIT
2010
15 years 1 months ago
2010
We present a novel framework to estimate protein-protein (PPI) and domain-domain (DDI) interactions based on a belief propagation estimation method that efficiently computes inter...