Sciweavers

2049 search results - page 116 / 410
» Normalization and Partial Evaluation
Sort
View
DAGSTUHL
1996
13 years 10 months ago
What Not to Do When Writing an Interpreter for Specialisation
A partial evaluator, given a program and a known "static" part of its input data, outputs a specialised or residual program in which computations depending only on the st...
Neil D. Jones
MICCAI
2005
Springer
14 years 9 months ago
Deformable Registration of Brain Tumor Images Via a Statistical Model of Tumor-Induced Deformation
An approach to the deformable registration of three-dimensional brain tumor images to a normal brain atlas is presented. The approach involves the integration of three components:...
Ashraf Mohamed, Dinggang Shen, Christos Davatzikos
3DIM
2003
IEEE
14 years 2 months ago
A Fast Point-to-Tangent Plane Technique for Multi-view Registration
This paper addresses a registration refinement problem and presents an accurate and fast Point-to-(Tangent) Plane technique. Point-to-Plane approach is known to be very accurate ...
Soon-Yong Park, Murali Subbarao
AIPS
2003
13 years 10 months ago
Expressive Equivalence of Formalisms for Planning with Sensing
There have been several proposals for expressing planning problems with different forms of uncertainty, including nondeterminism and partial observability. In this paper we invest...
Jussi Rintanen
IMAMCI
2010
60views more  IMAMCI 2010»
13 years 7 months ago
Null boundary controllability of a circular elastic arch
We consider a circular arch of thickness ε and curvature r−1 whose elastic deformations are described by a 2×2 system of linear partial differential equation. The system - of...
Arnaud Münch