Sciweavers

10182 search results - page 273 / 2037
» Case Studies
Sort
View
COLING
2002
15 years 6 months ago
Extraposition: A Case Study in German Sentence Realization
We profile the occurrence of clausal extraposition in corpora from different domains and demonstrate that extraposition is a pervasive phenomenon in German that must be addressed ...
Michael Gamon, Eric K. Ringger, Zhu Zhang, Robert ...
DC
2000
15 years 6 months ago
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
Anna Pogosyants, Roberto Segala, Nancy A. Lynch
CORR
2002
Springer
85views Education» more  CORR 2002»
15 years 6 months ago
Intuitions and the modelling of defeasible reasoning: some case studies
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
Henry Prakken