Sciweavers

3 search results - page 1 / 1
» Report on the Second Symbol Recognition Contest
Sort
View
GREC
2005
Springer
13 years 10 months ago
Report on the Second Symbol Recognition Contest
Following the experience of the rst edition of the international symbol recognition contest held during GREC'03 in Barcelona, a second edition has been organized during GREC...
Philippe Dosch, Ernest Valveny
GREC
2007
Springer
13 years 11 months ago
Report on the Third Contest on Symbol Recognition
In this paper we make a brief report of the third edition of the International Symbol Recognition Contest, organized in the context of GREC’07. This contest follows the series st...
Ernest Valveny, Philippe Dosch, Alicia Forné...
PODS
2007
ACM
171views Database» more  PODS 2007»
14 years 4 months ago
Monadic datalog over finite structures with bounded treewidth
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
Georg Gottlob, Reinhard Pichler, Fang Wei