462 search results - page 65 / 93 » Symbolic Bounded Synthesis |
LREC
2010
15 years 3 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
112
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
This paper begins by reviewing different methods of automatic programming while emphasizing the technique of Ant Programming (AP). AP uses an ant foraging metaphor in which ants g...
100
Voted
STTT
2008
15 years 1 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
114
click to vote
NAR
2011
14 years 4 months ago
2011
Since its inception in 1994, The RNA Modification Database (RNAMDB, http://rna-mdb.cas.albany. edu/RNAmods/) has served as a focal point for information pertaining to naturally oc...
137
click to vote
ICC
2008
IEEE
15 years 8 months ago
2008
IEEE
— 1 In this paper, training-based transmissions over a priori unknown Rayleigh block fading channels are considered. The input signals are assumed to be subject to peak power con...