Sciweavers

602 search results - page 18 / 121
» NetRaker suite: a demonstration
Sort
View
92
Voted
CEC
2010
IEEE
15 years 1 months ago
Evolving a CUDA kernel from an nVidia template
Rather than attempting to evolve a complete program from scratch we demonstrate genetic interface programming (GIP) by automatically generating a parallel CUDA kernel with identica...
William B. Langdon, Mark Harman
84
Voted
CVPR
2010
IEEE
15 years 19 days ago
Multi-view structure computation without explicitly estimating motion
Most existing structure-from-motion methods follow a common two-step scheme, where relative camera motions are estimated in the first step and 3D structure is computed afterward ...
Hongdong Li
96
Voted
ECTEL
2010
Springer
15 years 18 days ago
Components of a Research 2.0 Infrastructure
In this paper, we investigate the components of a Research 2.0 infrastructure. We propose building blocks and their concrete implementation to leverage Research 2.0 practice and te...
Thomas Daniel Ullmann, Fridolin Wild, Peter Scott,...
105
Voted
CAD
2008
Springer
15 years 16 days ago
Optimization of 5-axis high-speed machining using a surface based approach
: This paper deals with optimization of 5-axis trajectories in the context of high-speed machining. The objective is to generate tool paths suited to high speed follow-up during ma...
Sylvain Lavernhe, Christophe Tournier, Claire Lart...
87
Voted
JAR
2008
81views more  JAR 2008»
15 years 12 days ago
Automatic Symmetry Detection for Promela
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...
Alastair F. Donaldson, Alice Miller