8828 search results - page 1486 / 1766 » Formal methods in practice |
137
click to vote
CICLING
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Transliterating words and names from one language to another is a frequent and highly productive phenomenon. For example, English word cache is transliterated in Japanese...
155
click to vote
COLT
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...
159
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
QBF is the problem of deciding the satisfiability of quantified boolean formulae in which variables can be either universally or existentially quantified. QBF generalizes SAT (S...
186
click to vote
DAGM
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We consider the classification problem on a finite set of objects. Some of them are labeled, and the task is to predict the labels of the remaining unlabeled ones. Such...
179
click to vote
DEXA
2005
Springer
16 years 8 days ago
2005
Springer
The main challenge of mining sequential patterns is the high processing cost of support counting for large amount of candidate patterns. For solving this problem, SPAM algorithm wa...