3951 search results - page 178 / 791 » Automatic amortized analysis |
191
Voted
RTA
2010
Springer
15 years 8 months ago
2010
Springer
We present an automated approach to prove termination of Java Bytecode (JBC) programs by automatically transforming them to term rewrite systems (TRSs). In this way, the numerous t...
200
click to vote
STAIRS
2008
15 years 6 months ago
2008
This paper presents an extensive evaluation, on artificial datasets, of EDY, an unsupervised algorithm for automatically synthesizing a Structured Hidden Markov Model (S-HMM) from ...
158
Voted
ACL
2009
15 years 2 months ago
2009
We demonstrate that the bidirectionality of deep grammars, allowing them to generate as well as parse sentences, can be used to automatically and effectively identify errors in th...
126
Voted
IJBI
2010
14 years 12 months ago
2010
Size Functions and Support Vector Machines are used to implement a new automatic classifier of melanocytic lesions. This is mainly based on a qualitative assessment of asymmetry, ...
144
Voted
CIVR
2003
Springer
15 years 10 months ago
2003
Springer
We have witnessed a decade of exploding research interest in multimedia content analysis. The goal of content analysis has been to derive automatic methods for high-level descripti...