3799 search results - page 642 / 760 » An Engineering Approach to Formal Methods |
150
click to vote
WWW
2006
ACM
16 years 5 months ago
2006
ACM
Currently, there is an increasing effort to provide various personalized services on museum web sites. This paper presents an approach for determining user interests in a museum c...
133
click to vote
CAV
2009
Springer
16 years 5 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
127
Voted
KDD
2004
ACM
16 years 5 months ago
2004
ACM
In the domain of gene expression data analysis, various researchers have recently emphasized the promising application of pattern discovery techniques like association rule mining...
129
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
Although usability methods are widely used for evaluating conventional graphical user interfaces and websites, there is a growing concern that current approaches are inadequate fo...
140
click to vote
MEMOCODE
2007
IEEE
15 years 11 months ago
2007
IEEE
Orthogonal Frequency-Division Multiplexing (OFDM) has become the preferred modulation scheme for both broadband and high bitrate digital wireless protocols because of its spectral...