Sciweavers

816 search results - page 83 / 164
» Typed iterators for XML
Sort
View
PPDP
2009
Springer
14 years 2 months ago
An embedded declarative data transformation language
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
Paul Tarau
SIAMCO
2002
71views more  SIAMCO 2002»
13 years 7 months ago
Rate of Convergence for Constrained Stochastic Approximation Algorithms
There is a large literature on the rate of convergence problem for general unconstrained stochastic approximations. Typically, one centers the iterate n about the limit point then...
Robert Buche, Harold J. Kushner
SAC
2005
ACM
14 years 1 months ago
The container loading problem
This paper addresses single and multiple container loading problems. We propose to use dynamic prioritization to handle awkward box types. The box type with a higher priority will...
Andrew Lim, Xingwen Zhang
ICPR
2004
IEEE
14 years 9 months ago
A Statistical Shape Model without Using Landmarks
This paper describes the construction of a statistical shape model based on the iterative closest point algorithm. The method does not require manual nor automatic identification ...
Frans Vos, Paul W. de Bruin, J. G. M. Aubel, Geert...
MICCAI
2004
Springer
14 years 9 months ago
Adaptive Segmentation of Multi-modal 3D Data Using Robust Level Set Techniques
Abstract. A new 3D segmentation method based on the level set technique is proposed. The main contribution is a robust evolutionary model which requires no fine tuning of parameter...
Aly A. Farag, Hossam S. Hassan