2041 search results - page 311 / 409 » Modelling Generic Judgements |
121
Voted
STACS
2009
Springer
15 years 10 months ago
2009
Springer
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
153
Voted
EMSOFT
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
139
Voted
WSDM
2012
ACM
13 years 11 months ago
2012
ACM
Many factorization models like matrix or tensor factorization have been proposed for the important application of recommender systems. The success of such factorization models dep...
148
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
We propose a novel approach for multi-person trackingby-
detection in a particle filtering framework. In addition
to final high-confidence detections, our algorithm uses the
con...
130
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
Deformable model fitting has been actively pursued in the computer vision
community for over a decade. As a result, numerous approaches have
been proposed with varying degrees of...