4666 search results - page 713 / 934 » Equations on Timed Languages |
106
click to vote
ACL
2010
15 years 2 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...
129
Voted
ACMSE
2010
ACM
15 years 2 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...
142
click to vote
NAACL
2010
15 years 2 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 ...
175
click to vote
TGC
2010
Springer
15 years 2 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 ...
172
Voted
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...