2696 search results - page 480 / 540 » Semantic Abstraction and Anaphora |
IANDC
2008
14 years 9 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
CL
2006
Springer
14 years 9 months ago
2006
Springer
Transforming programs to alter their semantics is of wide interest, for purposes as diverse as off-the-shelf component adaptation, optimization,tracegeneration,andexperimentationw...
CORR
2006
Springer
14 years 9 months ago
2006
Springer
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
IJCV
2008
14 years 9 months ago
2008
Histograms of local appearance descriptors are a popular representation for visual recognition. They are highly discriminant with good resistance to local occlusions and to geomet...
IJSI
2008
14 years 9 months ago
2008
In this paper, we demonstrate the use of qualitative spatial modelling as the foundation for the conceptual representation of route instructions, to enable robust humanrobot intera...