3468 search results - page 176 / 694 » An open logical framework |
164
click to vote
CORR
2004
Springer
15 years 6 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...
171
click to vote
SAC
2006
ACM
16 years 14 days 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...
173
click to vote
JURIX
2007
15 years 8 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...
143
click to vote
ACTAC
2002
15 years 6 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...
151
click to vote
ISQED
2009
IEEE
16 years 1 months ago
2009
IEEE
With technology scaling, the occurrence rate of not only single, but also multiple transients resulting from a single hit is increasing. In this work, we consider the effect of th...