Sciweavers

137 search results - page 13 / 28
» Some recent advances in automated analysis
Sort
View
ICIP
2006
IEEE
15 years 11 months ago
Invertible Filter Banks on the 2-Sphere
Multiscale filtering methods, such as wavelets and steerable pyramids, are widely used in processing and analysis of planar images and promise similar benefits in application to s...
B. T. Thomas Yeo, Wanmei Ou, Polina Golland
TIP
2008
98views more  TIP 2008»
14 years 10 months ago
On the Construction of Invertible Filter Banks on the 2-Sphere
The theories of signal sampling, filter banks, wavelets and "overcomplete wavelets" are well-established for the Euclidean spaces and are widely used in the processing a...
B. T. Thomas Yeo, Wanmei Ou, Polina Golland
JNW
2007
86views more  JNW 2007»
14 years 10 months ago
Linux Software Router: Data Plane Optimization and Performance Evaluation
- Recent technological advances provide an excellent opportunity to achieve truly effective results in the field of open Internet devices, also known as Open Routers or ORs. Even t...
Raffaele Bolla, Roberto Bruschi
SAT
2005
Springer
142views Hardware» more  SAT 2005»
15 years 3 months ago
Optimizations for Compiling Declarative Models into Boolean Formulas
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, L...
IRI
2008
IEEE
15 years 4 months ago
Model check stochastic supply chains
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
Li Tan, Shenghan Xu