Sciweavers

9997 search results - page 338 / 2000
» The case for crowd computing
Sort
View
AI
2004
Springer
15 years 6 months ago
ASSAT: computing answer sets of a logic program by SAT solvers
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
Fangzhen Lin, Yuting Zhao
MICCAI
2010
Springer
15 years 5 months ago
4D Computed Tomography Reconstruction from Few-Projection Data via Temporal Non-local Regularization
Abstract. 4D computed tomography (4D-CT) is an important modality in medical imaging due to its ability to resolve patient anatomy motion in each respiratory phase. Conventionally ...
Xun Jia, Yifei Lou, Bin Dong, Zhen Tian, Steve B. ...
DATE
2010
IEEE
174views Hardware» more  DATE 2010»
15 years 4 months ago
An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC video encoder using Prognostic Early Mode Exclusio
The H.264/AVC video encoder standard significantly improves the compression efficiency by using variable block-sized Inter (P) and Intra (I) Macroblock (MB) coding modes. In this p...
Muhammad Shafique, Bastian Molkenthin, Jörg H...
ICRA
2010
IEEE
165views Robotics» more  ICRA 2010»
15 years 4 months ago
Robust hand-eye calibration for computer aided medical endoscopy
Endoscopic camera for surgical navigation and 3D visualization requires precise and stable estimates of the calibration parameters. The estimation of the hand-eye transform between...
Abed Malti, João P. Barreto
CORR
2011
Springer
149views Education» more  CORR 2011»
15 years 1 months ago
Load-Balancing Spatially Located Computations using Rectangular Partitions
Distributing spatially located heterogeneous workloads is an important problem in parallel scientific computing. We investigate the problem of partitioning such workloads (repres...
Erik Saule, Erdeniz Ö. Bas, Ümit V. &Cce...