15372 search results - page 2775 / 3075 » The Semantics of Semantic Annotation |
163
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general m...
126
click to vote
CVIU
2006
15 years 4 months ago
2006
We present a framework for categorical shape recognition. The coarse shape of an object is captured by a multiscale blob decomposition, representing the compact and elongated part...
149
Voted
DATAMINE
2006
15 years 4 months ago
2006
In order to allow for the analysis of data sets including numerical attributes, several generalizations of association rule mining based on fuzzy sets have been proposed in the li...
127
click to vote
DEDS
2006
15 years 4 months ago
2006
In this paper, we propose a method for building the state class graph of a bounded time Petri net (TPN) as a timed automaton (TA), which we call the state class timed automaton. We...
131
click to vote
IIE
2008
15 years 4 months ago
2008
Mathematical logic is a discipline used in sciences and humanities with different point of view. Although in tertiary level computer science education it has a solid place, it does...