1862 search results - page 39 / 373 » Constrained pattern matching |
ICANN
2005
Springer
14 years 3 months ago
2005
Springer
Two recently proposed approaches to recognize temporal patterns have been proposed by J¨ager with the so called Echo State Network (ESN) and by Maass with the so called Liquid Sta...
CSB
2003
IEEE
14 years 3 months ago
2003
IEEE
Codon optimization enhances the efficiency of DNA expression vectors used in DNA vaccination and gene therapy by increasing protein expression. Additionally, certain nucleotide mo...
ITP
2010
14 years 1 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
SNPD
2003
13 years 11 months ago
2003
We have designed a functional data-parallel language called BSML for programming bulk-synchronous parallel (BSP) algorithms in so-called direct mode. In a directmode BSP algorithm...
TAL
2010
Springer
13 years 8 months ago
2010
Springer
Answering email by standard answers is a common practice at contact centers. Our research assists this process by creating reply messages that contain one or several standard answe...