Sciweavers

17450 search results - page 510 / 3490
» Numerical Methods with Applications
Sort
View
184
Voted
EOR
2006
74views more  EOR 2006»
15 years 7 months ago
A set theoretic framework for enumerating matches in surveys and its application to reducing inaccuracies in vehicle roadside su
This paper describes a framework for analysing matches in multiple data sets. The framework described is quite general and can be applied to a variety of problems where matches ar...
Richard G. Clegg
EVOW
2010
Springer
15 years 5 months ago
New Genetic Operators in the Fly Algorithm: Application to Medical PET Image Reconstruction
Abstract. This paper presents an evolutionary approach for image reconstruction in positron emission tomography (PET). Our reconstruction method is based on a cooperative coevoluti...
Franck Patrick Vidal, Jean Louchet, Jean-Marie Roc...
IKE
2010
15 years 5 months ago
Potential Application of Contextual Information Processing To Data Mining
Contextual processing is a new emerging field based on the notion that information surrounding an event lends new meaning to the interpretation of the event. Data mining is the pr...
Gregory Vert, Anitha Chennamaneni, S. Sitharama Iy...
SAS
2007
Springer
124views Formal Methods» more  SAS 2007»
16 years 1 months ago
Arithmetic Strengthening for Shape Analysis
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
Stephen Magill, Josh Berdine, Edmund M. Clarke, By...
188
Voted
MICCAI
2001
Springer
15 years 11 months ago
Retrospective Evaluation of Inter-subject Brain Registration
Although numerous methods to register brains of different individuals have been proposed, no work has been done, as far as we know, to evaluate and compare objectively the performa...
Pierre Hellier, Christian Barillot, Isabelle Corou...