1176 search results - page 124 / 236 » Implicit Abstraction Heuristics |
96
Voted
TSD
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Pronunciation by analogy (PbA) is a data-driven approach to phonetic transcription that generates pronunciations for unknown words by exploiting the phonological knowledg...
DASFAA
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. In this paper, an efficient strategy for mining top-K non-trivial faulttolerant repeating patterns (FT-RPs in short) with lengths no less than min_len from data sequences...
89
Voted
GMP
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. This paper presents the mathematical framework, and develops algorithms accordingly, to continuously and robustly track the intersection curves of two deforming parametri...
98
Voted
SEFM
2006
IEEE
15 years 6 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
102
Voted
ML
2006
ACM
15 years 6 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...