11172 search results - page 828 / 2235 » Testing Physical Systems |
170
Voted
ISMIS
1999
Springer
15 years 12 months ago
1999
Springer
Abstract. Our unique approach for learning English grapheme segmentation (LE-GS) rules using the Iterated Version Space Algorithm (IVSA) is presented. After de ning the problem and...
200
click to vote
CP
2007
Springer
15 years 11 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
233
click to vote
ESOP
2006
Springer
15 years 11 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
206
click to vote
NAACL
1994
15 years 9 months ago
1994
A new mapping algorithm for speech recognition relates the features of simultaneous recordings of clean and noisy speech. The model is a piecewise nonfinear transformation appfied...
193
click to vote
FUIN
2006
15 years 7 months ago
2006
This paper proposes the use of session types to extend with behavioural information the simple descriptions usually provided by software component interfaces. We show how session t...