Sciweavers

868 search results - page 59 / 174
» Finding Most Likely Solutions
Sort
View
102
Voted
CCE
2011
14 years 7 months ago
Modelling and simulation of particle re-suspension in a turbulent square duct flow
The ability of a Reynolds-averaged Navier-Stokes (RANS) approach, coupled with a Lagrangian particle tracking technique, to predict particle re-suspension in a high Reynolds numbe...
J. F. W. Adams, M. Fairweather, J. Yao
88
Voted
ICASSP
2011
IEEE
14 years 4 months ago
Analysis of unknown velocity and target off the grid problems in compressive sensing based subsurface imaging
Sparsity of target space in subsurface imaging problem is used within the framework of the compressive sensing (CS) theory in recent publications to decrease the data acquisition ...
Mehmet Ali Çagri Tuncer, Ali Cafer Gurbuz
ICCCN
2007
IEEE
15 years 7 months ago
Signaling Transport Options in GMPLS Networks: In-band or Out-of-band
—Signaling protocols for GMPLS networks have been standardized and implemented in switch controllers. Most switch vendors allow for signaling messages to be carried over inband s...
Malathi Veeraraghavan, Tao Li
120
Voted
CVPR
2008
IEEE
16 years 2 months ago
FusionFlow: Discrete-continuous optimization for optical flow estimation
Accurate estimation of optical flow is a challenging task, which often requires addressing difficult energy optimization problems. To solve them, most top-performing methods rely ...
Victor S. Lempitsky, Stefan Roth, Carsten Rother
81
Voted
VLSID
2006
IEEE
121views VLSI» more  VLSID 2006»
16 years 1 months ago
An Integrated Approach for Combining BDD and SAT Provers
Many formal verification tools today are based on Boolean proof techniques. The two most powerful approaches in this context are Binary Decision Diagrams (BDDs) and methods based ...
Rolf Drechsler, Görschwin Fey, Sebastian Kind...