Sciweavers

8838 search results - page 128 / 1768
» Generalizing Domain Theory
Sort
View
HICSS
2006
IEEE
123views Biometrics» more  HICSS 2006»
15 years 10 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, ...
136
Voted
CSFW
2005
IEEE
15 years 9 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
FOSSACS
2005
Springer
15 years 9 months ago
Mathematical Models of Computational and Combinatorial Structures
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
Marcelo P. Fiore
149
Voted
ICML
1989
IEEE
15 years 8 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
SDM
2008
SIAM
112views Data Mining» more  SDM 2008»
15 years 5 months ago
A pattern mining approach toward discovering generalized sequence signatures
Typically, sequence signatures, such as motifs and domains, are assumed to be localized in one region of a sequence or are derived as combinations of the former. We generalize the...
Dietmar H. Dorr, Anne Denton