Sciweavers

1648 search results - page 214 / 330
» A Modelling Framework for Functional Imagination
Sort
View
141
Voted
FPCA
1989
15 years 7 months ago
A Simple Semantics for ML Polymorphism
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
Atsushi Ohori
FMICS
2007
Springer
15 years 9 months ago
An Approach to Formalization and Analysis of Message Passing Libraries
Message passing using libraries implementing the Message Passing Interface (MPI) standard is the dominant communication mechanism in high performance computing (HPC) applications. ...
Robert Palmer, Michael Delisi, Ganesh Gopalakrishn...
140
Voted
ESANN
2004
15 years 4 months ago
Sparse LS-SVMs using additive regularization with a penalized validation criterion
This paper is based on a new way for determining the regularization trade-off in least squares support vector machines (LS-SVMs) via a mechanism of additive regularization which ha...
Kristiaan Pelckmans, Johan A. K. Suykens, Bart De ...
151
Voted
ECCV
2004
Springer
16 years 5 months ago
Novel Skeletal Representation for Articulated Creatures
Abstract. Volumetric structures are frequently used as shape descriptors for 3D data. The capture of such data is being facilitated by developments in multi-view video and range sc...
Gabriel J. Brostow, Irfan A. Essa, Drew Steedly, V...
MICCAI
2009
Springer
16 years 4 months ago
Asymmetric Image-Template Registration
A natural requirement in pairwise image registration is that the resulting deformation is independent of the order of the images. This constraint is typically achieved via a symmet...
Mert R. Sabuncu, B. T. Thomas Yeo, Koen Van Leem...