2702 search results - page 316 / 541 » Practically Applicable Formal Methods |
133
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
This paper describes hybrid search, a search method supporting both document and knowledge retrieval via the flexible combination of ontologybased search and keyword-based matching...
104
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
While the collection of behavioral protocols has been common practice in human-computer interaction research for many years, the analysis of large protocol data sets is often extr...
130
Voted
ICCD
2003
IEEE
15 years 11 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
105
click to vote
ISCAS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— Most of the existing MIMO-OFDM channel estimation methods do not take into account the effect of the pulseshaping filter in the transmitter nor of the matched filter ...
149
Voted
CVPR
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper proposes a novel nonlinear discriminant analysis method named by Kernerlized Maximum Average Margin Criterion (KMAMC), which has combined the idea of Support Vector Mac...