135 search results - page 23 / 27 » A Distributed Algorithm to Evaluate Quantified Boolean Formu... |
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
PAMI
2010
13 years 6 months ago
2010
In this paper, we address the tasks of detecting, segmenting, parsing, and matching deformable objects. We use a novel probabilistic object model that we call a hierarchical defor...
PKDD
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. One solution to the lack of label problem is to exploit transfer learning, whereby one acquires knowledge from source-domains to improve the learning performance in the t...
BMCBI
2008
13 years 7 months ago
2008
Background: The reconstruction of genetic regulatory networks from microarray gene expression data has been a challenging task in bioinformatics. Various approaches to this proble...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We present a generic objectness measure, quantifying how
likely it is for an image window to contain an object of
any class. We explicitly train it to distinguish objects with
a...