1953 search results - page 250 / 391 » codes 2010 |
114
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Quantization, defined as the act of attributing a finite number of grey-levels to an image, is an essential task in image acquisition and coding. It is also intricately linked to ...
142
Voted
INLG
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we propose a general way of constructing an NLG system that permits the systematic exploration of the effects of particular system choices on output quality. We cal...
151
Voted
ISSRE
2010
IEEE
15 years 2 months ago
2010
IEEE
Buffer overflow is known to be a common memory vulnerability affecting software. It is exploited to gain various kinds of privilege escalation. C and C++ are very commonly used to ...
175
click to vote
IV
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Dynamic recompilation tries to produce more efficient code by exploiting runtime information. Virtual machines like the Jikes RVM use recompilation heuristics to decide h...
150
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...