6599 search results - page 270 / 1320 » Towards a Theory of Information |
146
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we argue why it is necessary to associate linguistic information with ontologies and why more expressive models, beyond RDFS, OWL and SKOS, are needed to ca...
183
click to vote
ERCIMDL
2007
Springer
15 years 10 months ago
2007
Springer
As information becomes available in increasing amounts, and to growing numbers of users, the shift towards a more user-centered, or personalized access to information becomes cruci...
140
Voted
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Finding near-duplicate images is a task often found in Multimedia Information Retrieval (MIR). Toward this effort, we propose a novel idea by bridging two seemingly unrel...
155
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
We propose an approach to build a subspace representation for documents. This more powerful representation is a first step towards the development of a quantum-based model for Info...
196
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Our general goal is to provide better automation in interactive proof assistants such as Coq. We present an interpreter of proof traces in first-order multi-sorted logic with equal...