10602 search results - page 28 / 2121 » Weakly Useful Sequences |
IANDC
2006
13 years 9 months ago
2006
A finitary axiomatization for EQPL (exogenous quantum propositional logic) is presented. The axiomatization is shown to be weakly complete relative to an oracle for analytical rea...
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
We present here a method giving a robust segmentation for in vitro cells observed under standard phase-contrast microscopy. We tackle the problem using the watershed transform. Wa...
SP
2009
IEEE
14 years 3 months ago
2009
IEEE
The increasing use of biometrics has given rise to new privacy concerns. Biometric encryption systems have been proposed in order to alleviate such concerns: rather than comparing...
DPD
2002
13 years 9 months ago
2002
This paper discusses the currency management mechanisms used in Deno, a replicated object storage system designed for use in mobile and weakly-connected environments. Deno primari...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
We propose a framework for large scale learning and annotation of structured models. The system interleaves interactive labeling (where the current model is used to semiautomate t...