5372 search results - page 314 / 1075 » complexity 2007 |
107
click to vote
APAL
2005
15 years 2 months ago
2005
Abstract. There is a very simple way in which the safe/normal variable discipline of Bellantoni-Cook recursion (1992) can be imposed on arithmetical theories like PA: quantify over...
225
Voted
ICDE
2007
IEEE
16 years 3 months ago
2007
IEEE
As relational databases proliferate and become increasingly complex, both in their internal structure and in their interactions with other databases and applications, there is a g...
MICCAI
2007
Springer
16 years 3 months ago
2007
Springer
Despite being routinely required in medical applications, deformable surface registration is notoriously difficult due to large intersubject variability and complex geometry of mos...
126
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper we present a novel algorithm, CarpeDiem. It significantly improves on the time complexity of Viterbi algorithm, preserving the optimality of the result. This fact ha...
126
Voted
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
The Gaussian process latent variable model (GP-LVM) is a powerful approach for probabilistic modelling of high dimensional data through dimensional reduction. In this paper we ext...