11 search results - page 2 / 3 » Optimizing Higher-Order Pattern Unification |
NECO
2010
13 years 3 months ago
2010
To allow the hidden units of a restricted Boltzmann machine to model the transformation between two successive images, Memisevic and Hinton (2007) introduced three-way multiplicat...
DAGM
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Graphical models with higher order factors are an important tool for pattern recognition that has recently attracted considerable attention. Inference based on such model...
MICCAI
2010
Springer
13 years 3 months ago
2010
Springer
In this paper we introduce a novel approach for inferring articulated spine models from images. A low-dimensional manifold embedding is created from a training set of prior mesh mo...
BROADNETS
2004
IEEE
13 years 8 months ago
2004
IEEE
We present a link layer protocol called the Multi-radio Unification Protocol or MUP. On a single node, MUP coordinates the operation of multiple wireless network cards tuned to no...
PADL
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...