Sciweavers

1034 search results - page 89 / 207
» Small Pi01 Classes
Sort
View
ARC
2010
Springer
387views Hardware» more  ARC 2010»
15 years 5 months ago
Optimising Memory Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods
Computing the solution to a system of linear equations is a fundamental problem in scientific computing, and its acceleration has drawn wide interest in the FPGA community [1–3]...
David Boland, George A. Constantinides
HYBRID
2010
Springer
15 years 5 months ago
Accurate hybridization of nonlinear systems
This paper is concerned with reachable set computation for non-linear systems using hybridization. The essence of hybridization is to approximate a non-linear vector field by a s...
Thao Dang, Oded Maler, Romain Testylier
LATIN
2010
Springer
15 years 5 months ago
The Size and Depth of Layered Boolean Circuits
We consider the relationship between size and depth for layered Boolean circuits, synchronous circuits and planar circuits as well as classes of circuits with small separators. In ...
Anna Gál, Jing-Tang Jang
BSN
2009
IEEE
307views Sensor Networks» more  BSN 2009»
15 years 5 months ago
Green and Sustainable Cyber-Physical Security Solutions for Body Area Networks
—Wireless sensor-based Body Area Networks (BAN) can play a major role in providing individualized health-care. Given their limited power sources, sensors in BAN have to be energy...
Krishna K. Venkatasubramanian, Ayan Banerjee, Sand...
CVPR
2009
IEEE
15 years 5 months ago
On bias correction for geometric parameter estimation in computer vision
Maximum likelihood (ML) estimation is widely used in many computer vision problems involving the estimation of geometric parameters, from conic fitting to bundle adjustment for s...
Takayuki Okatani, Koichiro Deguchi