4502 search results - page 249 / 901 » Regular Model Checking |
181
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Features in many real world applications such as Cheminformatics, Bioinformatics and Information Retrieval have complex internal structure. For example, frequent patterns mined fr...
174
click to vote
FASE
2006
Springer
15 years 10 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
164
click to vote
AAAI
2010
15 years 7 months ago
2010
In many real world applications, labeled data are usually expensive to get, while there may be a large amount of unlabeled data. To reduce the labeling cost, active learning attem...
160
click to vote
CICLING
2007
Springer
16 years 18 days ago
2007
Springer
This paper addresses the problem of real-word spell checking, i.e., the detection and correction of typos that result in real words of the target language. This paper proposes a me...
169
click to vote
FMICS
2007
Springer
16 years 17 days ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...