Sciweavers

3454 search results - page 212 / 691
» Modern computer algebra
Sort
View
CVPR
2008
IEEE
16 years 8 months ago
A three-point minimal solution for panoramic stitching with lens distortion
We present a minimal solution for aligning two images taken by a rotating camera from point correspondences. The solution particularly addresses the case where there is lens disto...
Hailin Jin
DCC
2004
IEEE
16 years 6 months ago
Slepian-Wolf Coding for Nonuniform Sources Using Turbo Codes
The recently proposed turbo-binning scheme is shown to be both efficient and optimal for uniform source Slepian-Wolf coding problem [1]. This paper studies the case when sources a...
Jing (Tiffany) Li, Zhenyu Tu, Rick S. Blum
SOFSEM
2009
Springer
16 years 3 months ago
Epistemic Strategies and Games on Concurrent Processes
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
Konstantinos Chatzikokolakis, Sophia Knight, Praka...
DATE
2007
IEEE
127views Hardware» more  DATE 2007»
16 years 27 days ago
A calculator for Pareto points
This paper presents the Pareto Calculator, a tool for compositional computation of Pareto points, based on the algebra of Pareto points. The tool is a useful instrument for multidi...
Marc Geilen, Twan Basten
PARA
2004
Springer
15 years 12 months ago
Parallelization of GSL: Performance of Case Studies
In this paper we explore the parallelization of the scientific library from GNU both on shared-memory and distributed-memory architectures. A pair of classical operations, arising...
José Ignacio Aliaga, Francisco Almeida, Jos...