1750 search results - page 41 / 350 » E-Commerce Development Procedure |
NAACL
2007
15 years 4 months ago
2007
The quality of a sentence translated by a machine translation (MT) system is difficult to evaluate. We propose a method for automatically evaluating the quality of each translati...
101
click to vote
TOG
2008
15 years 2 months ago
2008
Programmable graphics hardware makes it possible to generate procedural noise textures on the fly for interactive rendering. However, filtering and antialiasing procedural noise i...
105
click to vote
TIT
2010
14 years 9 months ago
2010
We develop a theory for finding quantum error correction (QEC) procedures which are optimized for given noise channels. Our theory accounts for uncertainties in the noise channel, ...
106
click to vote
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
The automated construction of mathematical proof is a basic activity in computing. Since the dawn of the field of automated reasoning, there have been two divergent schools of tho...
148
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...