3 search results - page 1 / 1 » Characterization and definability in modal first-order fragm... |
54
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
114
Voted
CSL
2009
Springer
15 years 4 months ago
2009
Springer
We introduce tree-width for first order formulae , fotw(). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of formul...
114
Voted
PAMI
2007
15 years 15 days ago
2007
—The identification of a person on the basis of scanned images of handwriting is a useful biometric modality with application in forensic and historic document analysis and const...