1189 search results - page 42 / 238 » The Quotient of an Abstract Interpretation |
124
Voted
DLOG
2009
14 years 10 months ago
2009
Abstract. The paper describes how interpretations of multimedia documents can be formally derived using abduction over domain knowledge represented in an ontology. The approach use...
97
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Abstract. We develop a statistical mechanical interpretation of algorithmic information theory by introducing the notion of thermodynamic quantities, such as free energy, energy, s...
99
Voted
NA
2010
14 years 11 months ago
2010
Abstract: In this work we give an interpretation of a (s(d + 1) + 1)-term recurrence relation in terms of type II multiple orthogonal polynomials. We rewrite this recurrence relati...
PRICAI
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the obser...
127
click to vote
ICVS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. We introduce the knowledge-based image interpretation system GeoAIDA and give examples for an image operator, extracting trees from aerial imagery. Moreover we present a ...