Sciweavers

3091 search results - page 262 / 619
» The Color Between Two Others
Sort
View
KER
2006
158views more  KER 2006»
15 years 4 months ago
Formal systems for persuasion dialogue
This article reviews formal systems that regulate persuasion dialogues. In such dialogues two or more participants aim to resolve a difference of opinion, each trying to persuade ...
Henry Prakken
FAC
2007
122views more  FAC 2007»
15 years 4 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
AMC
2005
256views more  AMC 2005»
15 years 4 months ago
Improved DSA variant for batch verification
Batch verification is a method to verify multiple signatures at once. There are two issues associated with batch verification. One is the security problem and the other is the com...
Chu-Hsing Lin, Ruei-Hau Hsu, Lein Harn
AR
2005
145views more  AR 2005»
15 years 4 months ago
Distinguishability and identifiability testing of contact state models
An important component of compliant motion control is the estimation of contact states during task execution. This paper addresses two fundamental questions that must be answered w...
Thomas Debus, Pierre E. Dupont, Robert D. Howe
ISCI
2007
138views more  ISCI 2007»
15 years 4 months ago
Uncertainty measures for interval type-2 fuzzy sets
Fuzziness (entropy) is a commonly used measure of uncertainty for type-1 fuzzy sets. For interval type-2 fuzzy sets (IT2 FSs), centroid, cardinality, fuzziness, variance and skewn...
Dongrui Wu, Jerry M. Mendel