4245 search results - page 429 / 849 » Input Modeling |
167
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
Ranking is an important property that needs to be fully supported by current relational query engines. Recently, several rank-join query operators have been proposed based on rank...
194
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a novel Multiple Instance Learning (MIL) framework to perform target localization from image sequences. The proposed approach consists of a softmax logistic re...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
143
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We address the volumetric reconstruction problem that takes as input a series of orthographic multi-energy x-ray images, producing as output a reconstructed model space consisting...
150
click to vote
FOSSACS
2010
Springer
16 years 1 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...