3951 search results - page 304 / 791 » Automatic amortized analysis |
163
click to vote
ACL
2010
15 years 4 months ago
2010
Automatic opinion recognition involves a number of related tasks, such as identifying the boundaries of opinion expression, determining their polarity, and determining their inten...
218
click to vote
TSP
2010
15 years 1 months ago
2010
We address the problem in signal classification applications, such as automatic speech recognition (ASR) systems that employ the hidden Markov model (HMM), that it is necessary to...
179
click to vote
ICIAP
2003
ACM
16 years 6 months ago
2003
ACM
Today's mobile and wireless users access multimedia content from different types of networks and terminals. Content analysis plays a critical role in developing effective sol...
142
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We show how the state space exploration tool VeriSoft can be used to analyze parallel C/C++ programs compositionally. VeriSoft is used to check assume/guarantee specifications of ...
161
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...