367 search results - page 57 / 74 » Using the Experimental Method to Produce Reliable Self-Organ... |
114
click to vote
ISSTA
2012
ACM
13 years 4 days ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
175
click to vote
ACCV
2010
Springer
15 years 2 days ago
2010
Springer
Most high dynamic range image (HDRI) algorithms assume stationary scene for registering multiple images which are taken under different exposure settings. In practice, however, the...
110
click to vote
PAMI
2012
13 years 4 days ago
2012
—There has been a growing interest in exploiting contextual information in addition to local features to detect and localize multiple object categories in an image. A context mod...
WWW
2009
ACM
15 years 10 months ago
2009
ACM
We propose and evaluate QuWi (Quality in Wikipedia), a framework for quality control in Wikipedia. We build upon a previous proposal by Mizzaro [11], who proposed a method for sub...
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...