Sciweavers

2043 search results - page 122 / 409
» Some Basics on Tolerances
Sort
View
COMMA
2006
15 years 7 months ago
Evaluation and comparison criteria for extension-based argumentation semantics
In the context of Dung's theory of abstract argumentation frameworks, the comparison between different semantics is often carried out by resorting to some specific examples co...
Pietro Baroni, Massimiliano Giacomin
EACL
2006
ACL Anthology
15 years 7 months ago
Developments in Affect Detection in E-drama
We report work1 in progress on adding affect-detection to an existing program for virtual dramatic improvisation, monitored by a human director. To partially automate the director...
Li Zhang, John A. Barnden, Robert J. Hendley, Alan...
FCS
2006
15 years 7 months ago
Hamiltonian-Connectivity and Related Property on Folded Hypercubes
In this paper, we analysis a hypercube-like structure, called the Folded Hypercube, which is basically a standard hypercube with some extra links established between its nodes. We ...
Sun-Yuan Hsieh, Che-Nan Kuo
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 7 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
MVA
1994
15 years 7 months ago
A Procedure for Segmenting Touching Numbers in Cadastral Maps
We present a procedure to split (or segment) touching numerals. We are neither assuming a dominant orientation for the text direction nor long character strings. The basic idea is...
Gladys Monagan