Sciweavers

5158 search results - page 53 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
14 years 2 months ago
Reexamining Media Capacity Theories Using Workplace Instant Messaging
This study empirically examines the general propositions of media capacity theories using a newer and increasing popular communication medium: Instant Messaging. We developed hypo...
Yu-Ting Caisy Hung, Wei-Chang Kong, Ai-Ling Chua, ...
CSFW
2005
IEEE
14 years 2 months ago
Deciding Knowledge in Security Protocols under (Many More) Equational Theories
In the analysis of security protocols, the knowledge of attackers is often described in terms of message deducibility and indistinguishability relations. In this paper, we pursue ...
Martín Abadi, Véronique Cortier
WDAG
2001
Springer
122views Algorithms» more  WDAG 2001»
14 years 1 months ago
Computation Slicing: Techniques and Theory
We generalize the notion of slice introduced in our earlier paper [6]. A slice of a distributed computation with respect to a global predicate is the smallest computation that cont...
Neeraj Mittal, Vijay K. Garg
LION
2009
Springer
125views Optimization» more  LION 2009»
14 years 3 months ago
New Bounds on the Clique Number of Graphs Based on Spectral Hypergraph Theory
This work introduces new bounds on the clique number of graphs derived from a result due to S´os and Straus, which generalizes the Motzkin-Straus Theorem to a specific class of h...
Samuel Rota Bulò, Marcello Pelillo
CSL
2009
Springer
14 years 3 months ago
Expanding the Realm of Systematic Proof Theory
Abstract. This paper is part of a general project of developing a systematic and algebraic proof theory for nonclassical logics. Generalizing our previous work on intuitionistic-su...
Agata Ciabattoni, Lutz Straßburger, Kazushig...