Sciweavers

3394 search results - page 151 / 679
» Regular Object Types
Sort
View
80
Voted
JCT
2007
78views more  JCT 2007»
15 years 21 days ago
Semisymmetric graphs from polytopes
Every finite, self-dual, regular (or chiral) 4-polytope of type {3, q, 3} has a trivalent 3-transitive (or 2-transitive) medial layer graph. Here, by dropping self-duality, we ob...
Barry Monson, Tomaz Pisanski, Egon Schulte, Asia I...
88
Voted
ANLP
1992
86views more  ANLP 1992»
15 years 2 months ago
Generating Spatial Descriptions for Cross-modal References
We present a localisation component that supports the generation of cross-modal deictic expressions in the knowledge-based presentation system WIP. We deal with relative localisat...
Peter Wazinski
112
Voted
ESOP
2007
Springer
15 years 4 months ago
A Certified Lightweight Non-interference Java Bytecode Verifier
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
Gilles Barthe, David Pichardie, Tamara Rezk
103
Voted
ICPR
2006
IEEE
16 years 1 months ago
Adaptive variational sinogram interpolation of sparsely sampled CT data
We present various kinds of variational PDE based methods to interpolate missing sinogram data for tomographic image reconstruction. Using the observed sinogram data we inpaint th...
Harald Köstler, Marcus Prümmer, Ulrich R...
139
Voted
ISBI
2004
IEEE
16 years 1 months ago
Multi-Modal Non-Rigid Registration Using a Stochastic Gradient Approximation
We present a new fast implementation of a non-rigid registration algorithm, based on a finite element elastic deformation model using the mutual information metric with a linear e...
Aloys du Bois d'Aische, Benoît Macq, Florian...