4502 search results - page 388 / 901 » Regular Model Checking |
173
click to vote
TDSC
2008
15 years 6 months ago
2008
Due to a rapid advancement in the electronic commerce technology, the use of credit cards has dramatically increased. As credit card becomes the most popular mode of payment for bo...
184
click to vote
ICMLC
2010
Springer
15 years 4 months ago
2010
Springer
: Portuguese is specifically a difficult language with luxuriant tenses, and second language acquisition (SLA) is regarded as highly variable. Many (Chinese) students who learn Por...
172
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Improving on recent work on joint source-filter analysis of speech waveforms, we explore improvements to an autoregressive model with exogenous inputs represented by flexible ba...
129
click to vote
ACL
2008
15 years 8 months ago
2008
Traditional wisdom holds that once documents are turned into bag-of-words (unigram count) vectors, word orders are completely lost. We introduce an approach that, perhaps surprisi...
190
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
Abstract—In this paper, we introduce FlowSifter, a systematic framework for online application protocol field extraction. FlowSifter introduces a new grammar model Counting Regu...