Sciweavers

2316 search results - page 78 / 464
» The many forms of hypercomputation
Sort
View
IJON
1998
140views more  IJON 1998»
15 years 4 months ago
Comment on "Discrete-time recurrent neural network architectures: A unifying review"
Paper [1] aimed at providing a unified presentation of neural network architectures. We show in the present comment (i) that the canonical form of recurrent neural networks presen...
Léon Personnaz, Gérard Dreyfus
MICCAI
2002
Springer
16 years 5 months ago
Medical Image Synthesis via Monte Carlo Simulation
A large number of test images and their "ground truth" segmentations are needed for performance characterization of the many image segmentation methods. In this work we ...
James Z. Chen, Stephen M. Pizer, Edward L. Chaney,...
CC
2010
Springer
179views System Software» more  CC 2010»
15 years 11 months ago
Validating Register Allocation and Spilling
Abstract. Following the translation validation approach to highassurance compilation, we describe a new algorithm for validating a posteriori the results of a run of register alloc...
Silvain Rideau, Xavier Leroy
ICDAR
2009
IEEE
15 years 11 months ago
Raster Map Image Analysis
Raster map images (e.g., USGS) provide much information in digital form; however, the color assignments and pixel labels leave many serious ambiguities. A color histogram classiï¬...
Thomas C. Henderson, Trevor Linton
CEC
2008
IEEE
15 years 10 months ago
Semantically driven crossover in genetic programming
—Crossover forms one of the core operations in genetic programming and has been the subject of many different investigations. We present a novel technique, based on semantic anal...
Lawrence Beadle, Colin G. Johnson