3342 search results - page 549 / 669 » Automating Abstract Interpretation |
DLOG
2011
13 years 1 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
LACL
2011
Springer
13 years 1 months ago
2011
Springer
The problem of generating referring expressions (GRE) is an important task in natural language generation. In this paper, we advocate for the use of logical languages in the output...
LICS
2012
IEEE
12 years 23 days ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...
LICS
2012
IEEE
12 years 23 days ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
ECCV
2006
Springer
15 years 7 days ago
2006
Springer
Abstract. Vision systems for various tasks are increasingly being deployed. Although significant effort has gone into improving the algorithms for such tasks, there has been relati...