156 search results - page 6 / 32 » Using Alternating Words to Describe Symbolic Pictures |
102
click to vote
ENTCS
2007
15 years 8 days ago
2007
Symbolic model checking is PSPACE complete. Since QBF is the standard PSPACE complete problem, it is most natural to encode symbolic model checking problems as QBF formulas and th...
149
click to vote
IDA
2008
Springer
15 years 10 days ago
2008
Springer
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper describes an experimental comparison between two standard supervised learning methods, namely Naive Bayes and Exemplar–basedclassification, on the Word Sens...
126
click to vote
FM
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
116
click to vote
DAM
2007
15 years 8 days ago
2007
Primitive words, or strings over a finite alphabet that cannot be written as a power of another string, play an important role in numerous research areas including formal language...