9405 search results - page 1006 / 1881 » Computing a Model of Set Theory |
194
click to vote
IWANN
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. This paper presents a comparison between direct and recursive prediction strategies. In order to perform the input selection, an approach based on mutual information is u...
186
click to vote
TACAS
2005
Springer
16 years 1 months ago
2005
Springer
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
190
click to vote
FOSSACS
2004
Springer
16 years 1 months ago
2004
Springer
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
201
click to vote
JMLR
2010
15 years 2 months ago
2010
A computationally efficient approach to local learning with kernel methods is presented. The Fast Local Kernel Support Vector Machine (FaLK-SVM) trains a set of local SVMs on redu...
225
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
Recovering the 3D coordinates of various joints of the human body from an image is a critical first step for several model-based human tracking and optical motion capture systems....