Sciweavers

1619 search results - page 203 / 324
» Structure in the Space of Value Functions
Sort
View
ENTCS
2007
85views more  ENTCS 2007»
15 years 6 months ago
Proving Approximate Implementations for Probabilistic I/O Automata
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
Sayan Mitra, Nancy A. Lynch
ICCV
2011
IEEE
14 years 6 months ago
Geometrically Consistent Elastic Matching of 3D Shapes: A Linear Programming Solution
We propose a novel method for computing a geometrically consistent and spatially dense matching between two 3D shapes. Rather than mapping points to points we match infinitesimal...
Thomas Windheuser, Ulrich Schlickewei, Frank R. Sc...
AMAI
2004
Springer
15 years 11 months ago
A Framework for Sequential Planning in Multi-Agent Settings
This paper extends the framework of partially observable Markov decision processes (POMDPs) to multi-agent settings by incorporating the notion of agent models into the state spac...
Piotr J. Gmytrasiewicz, Prashant Doshi
MICCAI
2007
Springer
16 years 16 days ago
Groupwise Combined Segmentation and Registration for Atlas Construction
Abstract. The creation of average anatomical atlases has been a growing area of research in recent years. It is of increased value to construct representations of, not only intensi...
Kanwal K. Bhatia, Paul Aljabar, James P. Boardman,...
SOFSEM
2007
Springer
16 years 15 days ago
A Simple Algorithm for Stable Minimum Storage Merging
We contribute to the research on stable minimum storage merging by introducing an algorithm that is particularly simply structured compared to its competitors. The presented algori...
Pok-Son Kim, Arne Kutzner