3653 search results - page 508 / 731 » On Recognizable Timed Languages |
183
click to vote
ACL
2010
15 years 4 months ago
2010
Finding allowable places in words to insert hyphens is an important practical problem. The algorithm that is used most often nowadays has remained essentially unchanged for 25 yea...
133
click to vote
ACL
2010
15 years 4 months ago
2010
Tree-to-string systems (and their forestbased extensions) have gained steady popularity thanks to their simplicity and efficiency, but there is a major limitation: they are unable...
164
click to vote
ACMSE
2010
ACM
15 years 4 months ago
2010
ACM
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...
181
click to vote
NAACL
2010
15 years 4 months ago
2010
Perceptron training is widely applied in the natural language processing community for learning complex structured models. Like all structured prediction learning frameworks, the ...
214
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...