446 search results - page 65 / 90 » Abstract Interpretation Using Typed Decision Graphs |
AAECC
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper compares two approaches to reliable communication over fading channels using low-density parity check (LDPC) codes. The particular model considered is the bloc...
ER
2001
Springer
14 years 1 days ago
2001
Springer
Electronic commerce (e-commerce) covers a wide range of business transactions. Usually, a transactions includes products, i.e. goods or services. Often, e-commerce websites are int...
VIS
2009
IEEE
14 years 8 months ago
2009
IEEE
Visualization is the transformation of data or information into pictures. The need for visualization has become more apparent as the amount of available information has increased ...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
ECCV
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...