755 search results - page 11 / 151 » ideas 2005 |
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
A degree-k zerotree model is presented, in order to quantify the coding power of zerotrees in wavelet-based image coding. Based on the model, the coding behaviors of modern zerotr...
74
Voted
EPIA
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes Catrapilas, a small robotic platform, designed to be capable of solving some well known robot problems. Among these are some of the most popular robotic contes...
SCALESPACE
2005
Springer
15 years 3 months ago
2005
Springer
Stabilised backward diffusion processes have shown their use for a number of image enhancement tasks. The goal of this paper is to show that they are also highly useful for designi...
ICML
2005
IEEE
15 years 10 months ago
2005
IEEE
We investigate using gradient descent methods for learning ranking functions; we propose a simple probabilistic cost function, and we introduce RankNet, an implementation of these...