Sciweavers

3333 search results - page 413 / 667
» New Invariants for Groups
Sort
View
ATVA
2007
Springer
134views Hardware» more  ATVA 2007»
15 years 10 months ago
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
One of the prerequisites for information society is secure and reliable communication among computing systems. Accordingly, network security appliances become key components of inf...
Moonzoo Kim
CIKM
2009
Springer
15 years 10 months ago
Blog cascade affinity: analysis and prediction
Information propagation within the blogosphere is of much importance in implementing policies, marketing research, launching new products, and other applications. In this paper, w...
Hui Li, Sourav S. Bhowmick, Aixin Sun
ICANN
2007
Springer
15 years 10 months ago
Classifying EEG Data into Different Memory Loads Across Subjects
Abstract. In this paper we consider the question of whether it is possible to classify n-back EEG data into different memory loads across subjects. To capture relevant information ...
Liang Wu, Predrag Neskovic
BIBE
2004
IEEE
115views Bioinformatics» more  BIBE 2004»
15 years 10 months ago
Discovering Novel Interacting Motif Pairs from Large Protein-Protein Interaction Datasets
Current motif discovery methods can only detect individual motifs in groups of protein sequences--they do not discover potentially-interacting motif pairs underlying the interacti...
Soon-Heng Tan, Wing-Kin Sung, See-Kiong Ng
CSEE
2006
Springer
15 years 10 months ago
Writing as a Tool for Learning Software Engineering
This paper presents an educational method used to improve teaching of tedious topics in software engineering courses that can be difficult for students to comprehend without any r...
Alf Inge Wang, Carl-Fredrik Sørensen