3951 search results - page 189 / 791 » Automatic amortized analysis |
102
click to vote
LREC
2008
15 years 6 months ago
2008
Looking for a better understanding of spontaneous speech-related phenomena and to improve automatic speech recognition (ASR), we present here a study on the relationship between t...
157
click to vote
ML
1998
ACM
15 years 4 months ago
1998
ACM
We introduce, analyze and demonstrate a recursive hierarchical generalization of the widely used hidden Markov models, which we name Hierarchical Hidden Markov Models (HHMM). Our m...
157
click to vote
FMAM
2010
15 years 3 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
157
click to vote
ICDE
2011
IEEE
14 years 8 months ago
2011
IEEE
—Dynamic software updating research efforts have mostly been focused on updating application code and in-memory state. As more and more applications use embedded databases for st...
128
click to vote
TACAS
2010
Springer
16 years 20 hour ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...