18716 search results - page 2 / 3744 » Automatic |
ACL
1997
13 years 8 months ago
1997
A system for the automatic production of
LICS
2010
IEEE
13 years 5 months ago
2010
IEEE
Several new undecidability results on isomorphism problems for automatic structures are shown: (i) The isomorphism problem for automatic equivalence relations is 0 1complete. (ii)...
LICS
2000
IEEE
13 years 11 months ago
2000
IEEE
We study definability and complexity issues for automatic and ω-automatic structures. These are, in general, infinite structures but they can be finitely presented by a collec...
CSL
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. It it shown that the first-order theory of an automatic structure, whose Gaifman graph has bounded degree, is decidable in doubly exponential space (for injective automa...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
This is the first paper that proposes automatic image annotation using the semantics of XML. In this paper, we propose XPRM - XML Path based Relevance Model for automatic image a...