2957 search results - page 213 / 592 » Processing Self Corrections |
138
click to vote
FMOODS
2000
15 years 4 months ago
2000
Inheritance is one of the key features in object-oriented design and analysis. It especially supports an incremental development by allowing to stepwise add new functionality to an...
129
click to vote
EUROPAR
2010
Springer
15 years 4 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...
128
click to vote
CSL
2002
Springer
15 years 2 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
119
click to vote
IEAAIE
2010
Springer
15 years 28 days ago
2010
Springer
In the proposed work a method for generating HDR images based on exposure blending is described. Using three differently exposed images a single image with recovered details in sha...
134
click to vote
NAACL
2010
15 years 27 days ago
2010
Taxonomies are an important resource for a variety of Natural Language Processing (NLP) applications. Despite this, the current stateof-the-art methods in taxonomy learning have d...