2853 search results - page 235 / 571 » On Coherence in Computer Algebra |
140
click to vote
TOG
2008
15 years 5 months ago
2008
A lot of research has recently focused on the problem of capturing the geometry and motion of garments. Such work usually relies on special markers printed on the fabric to establ...
110
click to vote
CVPR
2008
IEEE
16 years 7 months ago
2008
IEEE
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...
149
click to vote
DCC
2004
IEEE
16 years 4 months ago
2004
IEEE
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...
118
click to vote
SOFSEM
2009
Springer
16 years 2 months ago
2009
Springer
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...
111
click to vote
DATE
2007
IEEE
15 years 11 months ago
2007
IEEE
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...