511 search results - page 82 / 103 » Spelling Correction Using Context |
109
Voted
BIRTHDAY
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
107
Voted
ECOOP
2007
Springer
15 years 4 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
107
Voted
SP
1991
IEEE
15 years 4 months ago
1991
IEEE
In this paper we give a new decomposition algorithm that breaks a multilevel relation into single-level relations and a new recovery algorithmwhich reconstructs the original multi...
72
Voted
LREC
2010
15 years 1 months ago
2010
Biomedical corpora annotated with event-level information provide an important resource for the training of domain-specific information extraction (IE) systems. These corpora conc...