Sciweavers

407 search results - page 11 / 82
» Recursive or iterative routing
Sort
View
WSCG
2004
245views more  WSCG 2004»
13 years 8 months ago
Pel-Recursive Motion Estimation Using the Expectation-Maximization Technique and Spatial Adaptation
Pel-recursive motion estimation is a well-established approach. However, in the presence of noise, it becomes an ill-posed problem that requires regularization. In this paper, mot...
Vania V. Estrela, Luís A. Rivera, Marcos H....
ASPDAC
2009
ACM
164views Hardware» more  ASPDAC 2009»
13 years 11 months ago
High-performance global routing with fast overflow reduction
Global routing is an important step for physical design. In this paper, we develop a new global router, NTUgr, that contains three major steps: prerouting, initial routing, and enh...
Huang-Yu Chen, Chin-Hsiung Hsu, Yao-Wen Chang
JSAC
2007
119views more  JSAC 2007»
13 years 7 months ago
Cooperative routing for distributed detection in large sensor networks
— In this paper, the detection of a correlated Gaussian field using a large multi-hop sensor network is investigated. A cooperative routing strategy is proposed by introducing a...
Youngchul Sung, Saswat Misra, Lang Tong, Anthony E...
FMCAD
2006
Springer
13 years 11 months ago
Over-Approximating Boolean Programs with Unbounded Thread Creation
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
Byron Cook, Daniel Kroening, Natasha Sharygina
CORR
2006
Springer
121views Education» more  CORR 2006»
13 years 7 months ago
Elgot Algebras
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...
Jirí Adámek, Stefan Milius, Jiri Vel...