4270 search results - page 260 / 854 » A Permutation Approach to Validation |
174
click to vote
WSC
2001
15 years 8 months ago
2001
Semiconductor manufacturing is generally considered a cyclic industry. As such, individual producers able to react quickly and appropriately to market conditions will have a compe...
150
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
We explore morphology-based and sub-word language modeling approaches proposed for morphologically rich languages, and evaluate and contrast them for Turkish broadcast news transc...
182
click to vote
ACTA
2010
15 years 6 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
196
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Inference of gene regulatory networks is a key goal in the quest for understanding fundamental cellular processes and revealing underlying relations among genes. With ...
159
click to vote
FAC
2008
15 years 6 months ago
2008
This paper presents a formal model and a systematic approach to the validation of communication tures at a high level of abstraction. This model is described mathematically by a fu...