1177 search results - page 194 / 236 » Iterative methods for Robbins problems |
ICCV
2007
IEEE
16 years 2 months ago
2007
IEEE
Unsupervised categorization of images or image parts is often needed for image and video summarization or as a preprocessing step in supervised methods for classification, trackin...
CAV
2009
Springer
16 years 27 days ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...
108
Voted
FCCM
2006
IEEE
15 years 6 months ago
2006
IEEE
FPGAs are becoming more and more attractive for high precision scientific computations. One of the main problems in efficient resource utilization is the quadratically growing r...
125
click to vote
CLUSTER
2000
IEEE
15 years 4 months ago
2000
IEEE
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
116
Voted
TIP
2010
14 years 7 months ago
2010
We develop two new algorithms for tomographic reconstruction which incorporate the technique of equally-sloped tomography (EST) and allow for the optimized and flexible implementat...