1099 search results - page 59 / 220 » String Transformation Learning |
123
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
125
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
Phylogenetic profiles of proteins − strings of ones and zeros encoding respectively the presence and absence of proteins in a group of genomes − have recently been used to iden...
112
click to vote
SARA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
132
click to vote
IJDMB
2007
15 years 2 months ago
2007
: Phylogenetic profiles of proteins strings of ones and zeros encoding respectively the presence and absence of proteins in a group of genomes have recently been used to id...
ICMCS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a new version of our violin music transcriber [1] to support personalized learning. The proposed method is designed to detect duo-pitch (two strings being bowe...