Sciweavers

102 search results - page 10 / 21
» First Steps in Synthetic Computability Theory
Sort
View
FAC
2010
107views more  FAC 2010»
13 years 5 months ago
Atomic actions, and their refinements to isolated protocols
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an isolated atomic action as a family of transitions with a common before-state, an...
Richard Banach, Gerhard Schellhorn
MICCAI
2004
Springer
14 years 8 months ago
Interface Detection in Diffusion Tensor MRI
We present a new method for detecting the interface, or edge, structure present in diffusion MRI. Interface detection is an important first step for applications including segmenta...
Lauren O'Donnell, W. Eric L. Grimson, Carl-Fredrik...
ICML
2006
IEEE
14 years 8 months ago
Bayesian regression with input noise for high dimensional data
This paper examines high dimensional regression with noise-contaminated input and output data. Goals of such learning problems include optimal prediction with noiseless query poin...
Jo-Anne Ting, Aaron D'Souza, Stefan Schaal
DAGM
2001
Springer
14 years 8 days ago
Root Growth Measurements in Object Coordinates
We show a framework for growth analysis of plant roots in object coordinates which is one requirement for the botanical evaluation of growth mechanisms in roots. The method present...
Norbert Kirchgeßner, Hagen Spies, Hanno Scha...
ICML
2010
IEEE
13 years 8 months ago
Local Minima Embedding
Dimensionality reduction is a commonly used step in many algorithms for visualization, classification, clustering and modeling. Most dimensionality reduction algorithms find a low...
Minyoung Kim, Fernando De la Torre