Sciweavers

5363 search results - page 550 / 1073
» Building the Cerebellum in a Computer
Sort
View
FMSD
1998
60views more  FMSD 1998»
15 years 6 months ago
The General Product Machine: a New Model for Symbolic FSM Traversal
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
Gianpiero Cabodi, Paolo Camurati, Fulvio Corno, Pa...
IVC
2002
102views more  IVC 2002»
15 years 6 months ago
A new approach to vanishing point detection in architectural environments
A man-made environment is characterized by many parallel lines and orthogonal edges. In this article, a new method for detecting the three mutually orthogonal directions of such a...
Carsten Rother
JMLR
2002
160views more  JMLR 2002»
15 years 6 months ago
Kernel Independent Component Analysis
We present a class of algorithms for independent component analysis (ICA) which use contrast functions based on canonical correlations in a reproducing kernel Hilbert space. On th...
Francis R. Bach, Michael I. Jordan
RAS
2002
92views more  RAS 2002»
15 years 6 months ago
Information Sampling for vision-based robot navigation
This paper proposes a statistical, non-feature based, attention mechanism for a mobile robot, termed Information Sampling. The selected data may be a single pixel or a number scat...
Niall Winters, José Santos-Victor
TOG
2002
108views more  TOG 2002»
15 years 6 months ago
Motion graphs
In this paper we present a novel method for creating realistic, controllable motion. Given a corpus of motion capture data, we automatically construct a directed graph called a mo...
Lucas Kovar, Michael Gleicher, Frederic H. Pighin