1699 search results - page 57 / 340 » On the Expressive Power of QLTL |
120
Voted
BMCBI
2010
15 years 25 days ago
2010
Background: In high-dimensional data analysis such as differential gene expression analysis, people often use filtering methods like fold-change or variance filters in an attempt ...
129
Voted
LOGCOM
2000
15 years 15 days ago
2000
The product of two modal logics L1 and L2 is the modal logic determined by the class of frames of the form FG such that F and G validate L1 and L2, respectively. This paper proves...
107
Voted
DATAMINE
1998
15 years 11 days ago
1998
Data mining evolved as a collection of applicative problems and efficient solution algorithms relative to rather peculiar problems, all focused on the discovery of relevant infor...
CN
1999
15 years 11 days ago
1999
We propose a generic solution for user adaptation of synchronized multimedia presentations. We consider adaptation as a transformation problem: the user specifies a predicate that...
78
Voted
SAC
2002
ACM
15 years 11 days ago
2002
ACM
We argue that matrix-based models are inadequate for regulating business to business (or B2B, for short) e-commerce due to the diversity, complexity and potential large number of ...