961 search results - page 95 / 193 » An Algorithm for Computing Semi-stable Semantics |
TABLEAUX
2000
Springer
14 years 14 days ago
2000
Springer
Abstract. In this paper we present a labelled proof method for computing nonmonotonic consequence relations in a conditional logic setting. The method is based on the usual possibl...
CONNECTION
2004
13 years 8 months ago
2004
Evidence from recent psycholinguistic experiments suggests that humans resolve reference incrementally in the presence of constraining visual context. In this paper, we present an...
SEMCO
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper presents a new clustering algorithm called DSCBC which is designed to automatically discover word senses for polysemous words. DSCBC is an extension of CBC Clustering [...
GEOINFORMATICA
1998
13 years 8 months ago
1998
The nature of map generalization may be non-uniform along the length of an individual line, requiring the application of methods that adapt to the local geometry and the geographi...
ECCV
1996
Springer
14 years 10 months ago
1996
Springer
An approach is presented for imposing generic hard constraints on deformable models at a low computational cost, while preserving the good convergence properties of snake-like mod...