Sciweavers

5863 search results - page 482 / 1173
» Calculating Functional Programs
Sort
View
TMI
2011
80views more  TMI 2011»
15 years 2 months ago
Real-Time Regularized Ultrasound Elastography
—This paper introduces two real-time elastography techniques based on analytic minimization (AM) of regularized cost functions. The first method (1D AM) produces axial strain an...
Hassan Rivaz, Emad Boctor, Michael A. Choti, Grego...
ISBRA
2011
Springer
14 years 11 months ago
Query-Adaptive Ranking with Support Vector Machines for Protein Homology Prediction
Abstract. Protein homology prediction is a crucial step in templatebased protein structure prediction. The functions that rank the proteins in a database according to their homolog...
Yan Fu, Rong Pan, Qiang Yang, Wen Gao
IFL
2004
Springer
138views Formal Methods» more  IFL 2004»
16 years 29 days ago
A Rational Deconstruction of Landin's SECD Machine
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
Olivier Danvy
IEEEINTERACT
2003
IEEE
16 years 26 days ago
High Performance Code Generation through Lazy Activation Records
For call intensive programs, function calls are major bottlenecks during program execution since they usually force register contents to be spilled into memory. Such register to m...
Manoranjan Satpathy, Rabi N. Mahapatra, Siddharth ...
CEC
2007
IEEE
15 years 11 months ago
Parallel PSO using MapReduce
In optimization problems involving large amounts of data, such as web content, commercial transaction information, or bioinformatics data, individual function evaluations may take ...
Andrew W. McNabb, Christopher K. Monson, Kevin D. ...