Sciweavers

2203 search results - page 60 / 441
» Temporal Abstract Interpretation
Sort
View
DLOG
2009
15 years 1 months ago
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
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...
Irma Sofia Espinosa Peraldi, Atila Kaya, Ralf M&ou...
CORR
2008
Springer
116views Education» more  CORR 2008»
15 years 3 months ago
A statistical mechanical interpretation of algorithmic information theory
Abstract. We develop a statistical mechanical interpretation of algorithmic information theory by introducing the notion of thermodynamic quantities, such as free energy, energy, s...
Kohtaro Tadaki
NA
2010
114views more  NA 2010»
15 years 1 months ago
Matrix interpretation of multiple orthogonality
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...
Amílcar Branquinho, Luis Cotrim, Ana Foulqu...
124
Voted
PRICAI
2004
Springer
15 years 8 months ago
On the Intended Interpretations of Actions
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...
Victor Jauregui, Maurice Pagnucco, Norman Y. Foo
ICVS
2003
Springer
15 years 8 months ago
Automatic Mapping of Settlement Areas Using a Knowledge-Based Image Interpretation System
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 ...
Bernd-Michael Straub, Markus Gerke, Martin Pahl