3690 search results - page 315 / 738 » Computation with classical sequents |
182
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
We describe a generative model of the relationship between two images. The model is defined as a factored threeway Boltzmann machine, in which hidden variables collaborate to de...
182
click to vote
CVPR
2011
IEEE
15 years 29 days ago
2011
IEEE
In this paper, we propose an ordinal hyperplane ranking algorithm called OHRank, which estimates human ages via facial images. The design of the algorithm is based on the relative...
182
click to vote
ADCM
2011
15 years 17 days ago
2011
In this paper, we have obtained an approximation result in the Generalized Finite Element Method (GFEM) that reflects the global approximation property of the Partition of Unity ...
236
Voted
CGF
2010
15 years 16 days ago
2010
This paper presents an approach to a time-dependent variant of the concept of vector field topology for 2-D vector fields. Vector field topology is defined for steady vector field...
159
Voted
COMMA
2010
15 years 15 days ago
2010
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting arg...