3994 search results - page 182 / 799 » A Linear Logical Framework |
132
click to vote
PKDD
2004
Springer
15 years 10 months ago
2004
Springer
One of the most important operations involving Data Mining patterns is computing their similarity. In this paper we present a general framework for comparing both simple and comple...
132
Voted
CORR
2004
Springer
15 years 4 months ago
2004
Springer
In this paper we present a framework for creating natural language interfaces to action-based applications. Our framework uses a number of reusable application-independent compone...
149
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
We present a framework and an application for semanticbased retrieval of images. Our approach adopts a two-level ontology structure in a subset of OWL-DL. In the core ontology onl...
137
click to vote
JURIX
2007
15 years 6 months ago
2007
Abstract. In this paper, we present a new ontology-based formalism for representing patent information. The framework defines concepts and relations for the major aspects of paten...
119
Voted
ACTAC
2002
15 years 4 months ago
2002
This paper describes a framework for handling bound variable renaming and substitution mathematically rigorously with the aim at the same time to stay as close as possible to huma...