Sciweavers

4934 search results - page 298 / 987
» complexity 2008
Sort
View
MICCAI
2008
Springer
16 years 8 months ago
Fast Musculoskeletal Registration Based on Shape Matching
This paper presents a new method for computing elastic and plastic deformations in the context of discrete deformable model-based registration. Internal forces are estimated by ave...
Benjamin Gilles, Dinesh K. Pai
CSR
2008
Springer
15 years 8 months ago
A Semantic Proof of Polytime Soundness of Light Affine Logic
We define a denotational semantics for Light Affine Logic (LAL) which has the property that denotations of functions are polynomial time computable by construction of the model. Th...
Ugo Dal Lago, Martin Hofmann
ISCAS
2008
IEEE
121views Hardware» more  ISCAS 2008»
16 years 1 months ago
Wave propagation in oscillators coupled by time-varying resistor with timing mismatch
— Synchronization phenomena in coupled oscillatory systems are very important model to describe various higherdimensional nonlinear phenomena in the field of natural science. In...
Yoko Uwate, Yoshifumi Nishio
RSA
2008
85views more  RSA 2008»
15 years 6 months ago
Quasi-random graphs with given degree sequences
It is now known that many properties of the objects in certain combinatorial structures are equivalent, in the sense that any object possessing any of the properties must of neces...
Fan Chung Graham, Ronald L. Graham
AGI
2008
15 years 8 months ago
A computational approximation to the AIXI model
Universal induction solves in principle the problem of choosing a prior to achieve optimal inductive inference. The AIXI theory, which combines control theory and universal induct...
Sergey Pankov