Sciweavers

4816 search results - page 464 / 964
» Performance analysis of the AntNet algorithm
Sort
View
MIA
2011
135views more  MIA 2011»
14 years 10 months ago
A comprehensive study of stent visualization enhancement in X-ray images by image processing means
In this work we propose a comprehensive study of Digital Stent Enhancement (DSE), from the analysis of requirements to the validation of the proposed solution. First, we derive th...
Vincent Bismuth, Régis Vaillant, Fran&ccedi...
APLAS
2011
ACM
14 years 7 months ago
Solving Recursion-Free Horn Clauses over LI+UIF
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk...
TVCG
2012
179views Hardware» more  TVCG 2012»
13 years 9 months ago
Parallel Computation of 2D Morse-Smale Complexes
—The Morse-Smale complex is a useful topological data structure for the analysis and visualization of scalar data. This paper describes an algorithm that processes all mesh eleme...
Nithin Shivashankar, Senthilnathan M, Vijay Natara...
JCP
2008
167views more  JCP 2008»
15 years 7 months ago
Accelerated Kernel CCA plus SVDD: A Three-stage Process for Improving Face Recognition
kernel canonical correlation analysis (KCCA) is a recently addressed supervised machine learning methods, which shows to be a powerful approach of extracting nonlinear features for...
Ming Li, Yuanhong Hao
GECCO
2009
Springer
128views Optimization» more  GECCO 2009»
16 years 1 months ago
Neural network ensembles for time series forecasting
This work provides an analysis of using the evolutionary algorithm EPNet to create ensembles of artificial neural networks to solve a range of forecasting tasks. Several previous...
Victor M. Landassuri-Moreno, John A. Bullinaria