Sciweavers

3166 search results - page 234 / 634
» Translation By Structural Correspondences
Sort
View
CALCO
2009
Springer
172views Mathematics» more  CALCO 2009»
16 years 1 months ago
Coalgebraic Components in a Many-Sorted Microcosm
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...
Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokol...
GECCO
2003
Springer
121views Optimization» more  GECCO 2003»
15 years 12 months ago
Evolving Hogg's Quantum Algorithm Using Linear-Tree GP
Intermediate measurements in quantum circuits compare to conditional branchings in programming languages. Due to this, quantum circuits have a natural linear-tree structure. In thi...
André Leier, Wolfgang Banzhaf
ICCVW
1999
Springer
15 years 11 months ago
Direct Recovery of Planar-Parallax from Multiple Frames
In this paper we present an algorithm that estimates dense planar-parallax motion from multiple uncalibrated views of a 3D scene. This generalizes the \plane + parallax" recov...
Michal Irani, P. Anandan, Meir Cohen
ICIAP
1997
ACM
15 years 10 months ago
Two-Step Parameter-Free Elastic Image Registration with Prescribed Point Displacements
A two-step parameter-free approach for non-rigid medical image registration is presented. Displacements of boundary structures are computed in the rst step and then incorporated a...
Wladimir Peckar, Christoph Schnörr, Karl Rohr...
ECAI
2006
Springer
15 years 10 months ago
Learning by Automatic Option Discovery from Conditionally Terminating Sequences
Abstract. This paper proposes a novel approach to discover options in the form of conditionally terminating sequences, and shows how they can be integrated into reinforcement learn...
Sertan Girgin, Faruk Polat, Reda Alhajj