Sciweavers

553 search results - page 104 / 111
» On Planar Path Transformation
Sort
View
COMSIS
2010
14 years 9 months ago
3D mesh skeleton extraction using prominent segmentation
Skeleton of 3D mesh is a fundamental shape feature, and is useful for shape description and other many applications in 3D Digital Geometry Processing. This paper presents a novel s...
Xiaopeng Sun, J. Pan, Xiaopeng Wei
CSDA
2011
14 years 6 months ago
Mapping electron density in the ionosphere: A principal component MCMC algorithm
The outer layers of the Earth’s atmosphere are known as the ionosphere, a plasma of free electrons and positively charged atomic ions. The electron density of the ionosphere var...
Eman Khorsheed, Merrilee Hurn, Christopher Jenniso...
EUROSYS
2011
ACM
14 years 3 months ago
Symbolic crosschecking of floating-point and SIMD code
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
Peter Collingbourne, Cristian Cadar, Paul H. J. Ke...
BTW
2005
Springer
142views Database» more  BTW 2005»
15 years 5 months ago
Self-Extending Peer Data Management
Abstract: Peer data management systems (PDMS) are the natural extension of integrated information systems. Conventionally, a single integrating system manages an integrated schema,...
Ralf Heese, Sven Herschel, Felix Naumann, Armin Ro...
PACT
2005
Springer
15 years 5 months ago
Optimal Behavior of a Moving Creature in the Cellular Automata Model
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
Mathias Halbach, Rolf Hoffmann