2599 search results - page 211 / 520 » An Operational Semantics for Knowledge Bases |
150
click to vote
SIGIR
2010
ACM
15 years 6 months ago
2010
ACM
We present a novel approach to query reformulation which combines syntactic and semantic information by means of generalized Levenshtein distance algorithms where the substitution...
177
click to vote
FMOODS
2000
15 years 7 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
154
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
We present a middleware system that facilitates Internet users’ access to web-based digital music libraries and allows them to manipulate audio meta-information taking into cons...
189
click to vote
ENTCS
2006
2006
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
15 years 6 months ago
In this paper we give an overview of formal concepts for model transformations between visual languages based on typed attributed graph transformation. We start with a basic conce...
147
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
As archives contain documents that span over a long period of time, the language used to create these documents and the language used for querying the archive can differ. This diï...